Библиотеки, написани на Lean
electrolysis
Проста проверка на програмите Rust чрез функционално пречистване в Lean 2(!).
- 311
- GNU General Public License v3.0
Functional-Benchmarks
Колекция от бенчмаркове на функционални езици за програмиране и асистенти за доказателство..
- 28