Thema · coq-formalization

coq-formalization

Erfasste Open-Source-Repos mit dem Tag coq-formalization, sortiert nach Sternen.

Repos

2

Sterne gesamt

1.246

Sterne im Schnitt

623

Anteil

0,00%

Themen, die häufig gemeinsam mit coq-formalization am selben Repo auftauchen.

Neue Aufsteiger

Repos, die in den letzten 90 Tagen erstellt und mit coq-formalization getaggt wurden.

In den letzten 90 Tagen kam kein neues Repo mit diesem Thema dazu.

#1
math-comp ↗@math-compRocq Prover
Mathematische Komponenten
★ 696+1Sterne-Änderung der letzten 7 Tage
#2
metarocq ↗@MetaRocqRocq Prover
Metaprogrammierung, verifizierte Metatheorie und Implementierung von Rocq in Rocq.
★ 550+1Sterne-Änderung der letzten 7 Tage

← Zurück zu den Themen