Propriétaire · CakeML

CakeML

Dépôts open source suivis de CakeML, triés par étoiles.

1 dépôt

#1
cakeml ↗@CakeMLStandard ML
CakeML : une implémentation vérifiée de ML
★ 1 190+2Évolution des étoiles sur les 7 derniers jours