lean4leanprover
NOUVEAULean 4 est un langage de programmation et un assistant de preuve pour la vérification formelle, la programmation fonctionnelle et le développement interactif de preuves.
OPEN SOURCE, OPEN TO EVERYONE
Code ouvert. Horizons nouveaux.
Découvrez des projets open source de qualité, soumettez des projets anonymement, puis revendiquez et éditez votre propre projet.
✳Sélection humaine · Découvrez de bons projets open source4109découverts
Un peu de curiosité. Un monde de code ouvert.
THE FIRST COLLECTIONTopic: lean清除