paulch42

Pinned Repositories

registry
Airservices Australia Data Services Registry (Proof of Concept)
0 2 00
logical_verification_2023
Hitchhiker's Guide to Logical Verification (2023 Edition)
Language:Lean86 2 215
theorem_proving_in_lean4
Theorem Proving in Lean 4
Language:JavaScript157 11 3283
interactive_theorem_proving_2024
Files associated with the course Interactive Theorem Proving at LMU SoSe 2024
Language:Lean00
IWXXM
ICAO Meteorological Information Exchange Model
0 1 00
lean-spec
Program Specification in Lean 4
Language:Lean12 1 21
NNG4
Natural Number Game
Language:Lean0 0 00
VCParser
A little combinatory parser in VDM-SL
0 5 00

paulch42's Repositories

paulch42/lean-spec
Program Specification in Lean 4
Language:Lean12 1 21
paulch42/interactive_theorem_proving_2024
Files associated with the course Interactive Theorem Proving at LMU SoSe 2024
Language:Lean00
paulch42/IWXXM
ICAO Meteorological Information Exchange Model
0 1 00
paulch42/NNG4
Natural Number Game
Language:Lean0 0 00