Knihovny napsané v Lean u
electrolysis
Jednoduché ověření programů Rust pomocí funkční purifikace v Lean 2(!).
- 311
- GNU General Public License v3.0
Functional-Benchmarks
Sbírka benchmarků funkcionálních programovacích jazyků a důkazových asistentů.
- 28