Foundation
Formalization of Mathematical Logic
1-2 of 2 packages depending on FormalizedFormalLogic/Foundation
Sort by
Package Name
FormalizedFormalLogic/arithmetizationuses
72be6b0Formalization of Arithmetization of Mathematics/MetamathematicsFormalizedFormalLogic/incompletenessuses
4f2f6d4Formalize Incompleness Theorem Related Results