Sebastian Ullrich
Results
3
repositories owned by
Sebastian Ullrich
electrolysis
323
Stars
6
Forks
Watchers
Simple verification of Rust programs via functional purification in Lean 2(!)
Sebastian Ullrich
Simple verification of Rust programs via functional purification in Lean 2(!)