agda/agda
@agdaAgda ist eine dependently getypte Programmiersprache und ein interaktiver Theorembeweiser.
Sterne
2.922
Forks
429
Sprache
Haskell
Lizenz
NOASSERTION
Letzter Push
vor 4 Tagen
Verwandte Intel (0)
Noch keine verwandte Intel
Dieses Repo ist noch in keiner der vom Radar verfolgten Quellen aufgetaucht. Der Collector läuft nach Zeitplan — schau wieder vorbei, sobald er dieses Repo abdeckt.