Skip to content
Check for copyright header

feat: Track whether simp_mem made progress in the monad state [5/?] #407

Sign in to view logs

feat: Track whether simp_mem made progress in the monad state [5/?]

feat: Track whether simp_mem made progress in the monad state [5/?] #407

check-lean-files

check-lean-files
succeeded Oct 31, 2024 in 13s