search

leanprover / lean4

Lean 4 programming language and theorem prover
https://lean-lang.org
Apache License 2.0
3.82k stars 325 forks source link

To int eq broken #4076

Closed tobiasgrosser closed 1 week ago

tobiasgrosser commented 1 week ago

Test if the CI fails in case of broken proofs

tobiasgrosser commented 1 week ago

Close as this should have gone to my personal fork.