1 Repositories
Rust electrolysis Libraries
Simple verification of Rust programs via functional purification in Lean 2(!)
electrolysis About A tool for formally verifying Rust programs by transpiling them into definitions in the Lean theorem prover. Masters thesis: Simple
300 Dec 11, 2022