Sprache · Coq
Coq
Erfasste Open-Source-Repos mit Coq als Hauptsprache, sortiert nach Sternen.
1 Repo
- #1
Tricks, die man sich im Coq-Handbuch gewünscht hätte [maintainer=@tchajed]
★ 552+0Sterne-Änderung der letzten 7 Tage
Erfasste Open-Source-Repos mit Coq als Hauptsprache, sortiert nach Sternen.
Tricks, die man sich im Coq-Handbuch gewünscht hätte [maintainer=@tchajed]