wintermute/SetTheoryLean
Watch
1
0
Fork
You've already forked SetTheoryLean
 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
Repository files (latest commit first)
Filename Latest commit message Latest commit date
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