wintermute/SetTheoryLean
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
Writing some set theory in lean from Kenneth Kunen's book
4 commits 1 branch 0 tags 30 KiB
  • Lean 100%
Find a file
Exact
wintermute 6d07e1a9ce
 remove weird comment about empty set construction
2026-06-04 22:37:21 +02:00
set.lean remove weird comment about empty set construction 2026-06-04 22:37:21 +02:00