Bibliothèques écrites en Lean
![](/static/lib-default.png)
electrolysis
Vérification simple des programmes Rust via une purification fonctionnelle dans Lean 2(!).
- 311
- GNU General Public License v3.0
![](/static/lib-default.png)
![](/static/lib-default.png)
logical_verification_2020
Fichiers d'accompagnement pour la vérification logique 2020-2021 à VU Amsterdam.
- 96
![](/static/lib-default.png)
Functional-Benchmarks
Recueil de benchmarks de langages de programmation fonctionnels et d'assistants de preuve.
- 28
![](/static/lib-default.png)
![](/static/lib-default.png)