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

Run time

Learn about OS pricing on GitHub Actions
Job Run time
check-lean-files
13s
13s