simple-counterexamples/SimpleCounterexamples
2025-04-08 22:10:20 -04:00
..
FinitudeOfPropositions.lean FinitudeOfPropositions 2025-04-08 22:10:20 -04:00
RunMEvil.lean RunMEvil: simplify proofs 2025-04-08 21:57:48 -04:00