Sujet · higher-order-logic

higher-order-logic

Dépôts open source suivis étiquetés higher-order-logic, triés par étoiles.

Dépôts

1

Total d'étoiles

756

Étoiles en moyenne

756

Part

0,00%

Sujets qui apparaissent souvent aux côtés de higher-order-logic sur un même dépôt.

Ascensions récentes

Dépôts créés au cours des 90 derniers jours et étiquetés higher-order-logic.

Aucun nouveau dépôt étiqueté avec ce sujet au cours des 90 derniers jours.

#1
HOL ↗@HOL-Theorem-ProverStandard ML
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

← Retour aux sujets