FormalizedFormalLogicFoundation

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

  1. mbrcic/ai-safety-formalization-atlasuses30a16ff

    The open workbench for AI safety, made formal. Turn safety questions into machine-checked Lean proofs — a shared launchpad where researchers and AI agents build provable safety together.

  2. FormalizedFormalLogic/arithmetizationuses72be6b0

    Formalization of Arithmetization of Mathematics/Metamathematics

  3. FormalizedFormalLogic/incompletenessuses4f2f6d4

    Formalize Incompleness Theorem Related Results

  4. FormalizedFormalLogic/ProvabilityLogicusesdb08eaa

    Lean 4 Mechanization about Provability Logics