foundation
Lean4 Logic Formalization
1-2 of 2 packages depending on FormalizedFormalLogic/foundation
Sort by
Package Name
FormalizedFormalLogic/arithmetizationuses
0325e10Formalization of Arithmetization of Mathematics/MetamathematicsFormalizedFormalLogic/incompletenessuses
0325e10Formalize Incompleness Theorem Related Results