paulch42

paulch42's Stars

• blanchette/interactive_theorem_proving_2024

  Files associated with the course Interactive Theorem Proving at LMU SoSe 2024

  Language:Lean543

• Seasawher/mdgen

  Tool to generate markdown files from lean files. This is heavily inspired by lean2md.

  Language:Lean131

• blanchette/logical_verification_2023

  Hitchhiker's Guide to Logical Verification (2023 Edition)

  Language:Lean8916