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