Biblioteki napisane w Lean
electrolysis
Prosta weryfikacja programów Rust poprzez funkcjonalne oczyszczanie w Lean 2(!).
- 311
- GNU General Public License v3.0
Functional-Benchmarks
Zbiór testów porównawczych funkcjonalnych języków programowania i asystentów sprawdzających.
- 28