ncihnegn
Follow
Lists (1)
Stars
8
stars
written in Lean
Clear filter
Simple verification of Rust programs via functional purification in Lean 2(!)
Lean Library currently studying for a degree at Imperial College
Lean 3 material related to Imperial College's "Introduction to University Mathematics" course
Companion files for Logical Verification 2020–2021 at VU Amsterdam
The Hitchhiker's Guide to Logical Verification and Associated Materials (2024 Edition)
Building group theory from scratch in Lean