Propriétaire · AndrasKovacs

AndrasKovacs

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

2 dépôts

#1
elaboration-zoo ↗@AndrasKovacsHaskell
Implémentations minimales pour la vérification et l'élaboration de types dépendants
★ 797+2Évolution des étoiles sur les 7 derniers jours
#2
smalltt ↗@AndrasKovacsLean
Démonstration d'élaboration de théorie des types haute performance
★ 600+2Évolution des étoiles sur les 7 derniers jours