github.com/FormalizedFormalLogic/Foundation
Formalization of Mathematical Logic
https://github.com/FormalizedFormalLogic/Foundation
lean: FormalizedFormalLogic/Foundation 876b910180600f14bbfda534644bb6c74184bbb0
Formalization of Mathematical Logic8 versions - Latest release: 19 days ago