FormalizedFormalLogicFoundation

Formalization of Mathematical Logic
Displaying 1-3 of 3 packages depending on FormalizedFormalLogic/Foundation
Sort by

  1. FormalizedFormalLogic/arithmetizationuses72be6b0

    Formalization of Arithmetization of Mathematics/Metamathematics

  2. FormalizedFormalLogic/incompletenessuses4f2f6d4

    Formalize Incompleness Theorem Related Results

  3. FormalizedFormalLogic/ProvabilityLogicuses8dcdb31

    Lean 4 Mechanization about Provability Logics