Lean ben írt könyvtárak
electrolysis
A Rust programok egyszerű ellenőrzése funkcionális tisztítással Lean 2-ben(!).
- 311
- GNU General Public License v3.0
Functional-Benchmarks
Funkcionális programozási nyelvek benchmark gyűjteménye és proof asszisztensek.
- 28