Loreon
Labs
Platform
Docs
Home
Ecosystems
TeX
Elementi-Di-Teoria-Degli-Insiemi
vacaboja/Elementi-Di-Teoria-Degli-Insiemi
TeX
Emerging
GitHub
Stars
—
Forks
—
Contributors
2
Last push
3mo ago
Recent commits
Latest commits.
Missing transfinite recursion to l.14
946b3db
Marcello Mamino
3mo ago
L. 13 done. Complete to just before replacement axiom.
6c381b5
Marcello Mamino
3mo ago
Ready for l.12
9cb6c14
Marcello Mamino
3mo ago
Ready for l.11
2937b84
Marcello Mamino
3mo ago
Done "carrd. del continuo". L.10
ba17ff3
Marcello Mamino
3mo ago
Fix in the definition of graph
7ba9156
Marcello Mamino
3mo ago
Section aleph_0 done. About ready for l.9.
01be0db
Marcello Mamino
3mo ago
Fix
bd38094
Marcello Mamino
3mo ago
Top contributors
Builders behind this project.
vacaboja
42 commits
diego-unipi
8 commits
