simple-counterexamples/SimpleCounterexamples
2025-04-08 23:05:57 -04:00
..
BadInfinities.lean BadInfinities: chore redundant newline 2025-04-08 23:05:57 -04:00
FinitudeOfPropositions.lean all: use standard theorem identifier scheme 2025-04-08 22:13:50 -04:00
NotFEqImpEq.lean not_f_eq_imp_eq 2025-04-08 22:19:21 -04:00
RunMEvil.lean all: use standard theorem identifier scheme 2025-04-08 22:13:50 -04:00