This website requires JavaScript.
Explore
Help
Sign In
mbk
/
simple-counterexamples
Watch
1
Star
0
Fork
You've already forked simple-counterexamples
0
Code
Issues
Pull requests
Projects
Releases
Packages
Wiki
Activity
Actions
main
Branches
Tags
No results found.
simple-counterexamples
/
SimpleCounterexamples
History
mehbark
ad20702327
BadInfinities: chore redundant newline
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