Sources canoniques du système de démonstration de théorèmes HOL4. La branche develop est dédiée au développement principal ; une fois les tests de régression validés, la branche master est mise à jour.
★ 757▲+3Évolution des étoiles sur les 7 derniers jours
