Knižnice napísané v Lean e
electrolysis
Jednoduché overenie programov Rust prostredníctvom funkčného čistenia v Lean 2(!).
- 311
- GNU General Public License v3.0
Functional-Benchmarks
Zbierka benchmarkov funkcionálnych programovacích jazykov a dôkazových asistentov.
- 28