Propriétaire · jrh13

jrh13

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

1 dépôt

#1
hol-light ↗@jrh13OCaml
Le démonstrateur de théorèmes HOL Light.
★ 550+0Évolution des étoiles sur les 7 derniers jours