blanchette/interactive_theorem_proving_2024

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

Lean

23 commits

updated Aug 13, 2024

See the code

README

Interactive Theorem Proving 2024

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

Contributors

11 commits

10 commits

1 commits

1 commits

Similar repos

blanchette/logical_verification_2023

Hitchhiker's Guide to Logical Verification (2023 Edition)

119

same org

aw31/openai-imo-2025-proofs

481

anton-trunov/coq-lecture-notes

Coq Lecture Notes (WIP)

minjunj/Digital-Sessac-LLM

Sajidsaj/True-Math

abcdefg133hi/CVPDL_2024

barry-jay-personal/tree-calculus

Proofs in Coq for the book Reflective Programs in Tree Calculus

205

jespercockx/agda-lecture-notes

Agda lecture notes for the Functional Programming course at TU Delft

135

Languages

Lean

100.0%

blanchette/interactive_theorem_proving_2024

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

Lean

23 commits

updated Aug 13, 2024

See the code

README

Interactive Theorem Proving 2024

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

Similar repos

blanchette/logical_verification_2023

Hitchhiker's Guide to Logical Verification (2023 Edition)

119

same org

aw31/openai-imo-2025-proofs

481

anton-trunov/coq-lecture-notes

Coq Lecture Notes (WIP)

minjunj/Digital-Sessac-LLM

Sajidsaj/True-Math

abcdefg133hi/CVPDL_2024

barry-jay-personal/tree-calculus

Proofs in Coq for the book Reflective Programs in Tree Calculus

205

jespercockx/agda-lecture-notes

Agda lecture notes for the Functional Programming course at TU Delft

135

Contributors

11 commits

10 commits

1 commits

1 commits

Languages

Lean

100.0%