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