Thema · agda
agda
Erfasste Open-Source-Repos mit dem Tag agda, sortiert nach Sternen.
Repos
3
Sterne gesamt
4.164
Sterne im Schnitt
1.388
Anteil
0,00%
Verwandte Themen
Themen, die häufig gemeinsam mit agda am selben Repo auftauchen.
Neue Aufsteiger
Repos, die in den letzten 90 Tagen erstellt und mit agda getaggt wurden.
In den letzten 90 Tagen kam kein neues Repo mit diesem Thema dazu.
- #1
Agda ist eine dependently getypte Programmiersprache und ein interaktiver Theorembeweiser.
★ 2.922+1Sterne-Änderung der letzten 7 Tage - #2
Die Agda-Standardbibliothek
★ 675+0Sterne-Änderung der letzten 7 Tage - #3★ 567+1Sterne-Änderung der letzten 7 Tage
