Formalization of much of Elements of Set Theory by Herbert B. Enderton
Works with mathlib revision 8078ecad8
Warning: vscode uses nearly 6 GB when all files are loaded.
Formalization of much of Elements of Set Theory by Herbert B. Enderton
Works with mathlib revision 8078ecad8
Warning: vscode uses nearly 6 GB when all files are loaded.