Kha/electrolysis
Simple verification of Rust programs via functional purification in Lean 2(!)
LeanNOASSERTION
Issues
- 0
Link to blog post is broken
#6 opened by anka-213 - 2
Lean Version
#3 opened by FedericoAureliano - 2
Any simillar project
#5 opened by linonetwo - 1
- 1