MetaRocq/metarocq
@MetaRocqMetaprogrammierung, verifizierte Metatheorie und Implementierung von Rocq in Rocq.
Sterne
550
Forks
99
Sprache
Rocq Prover
Lizenz
MIT
Letzter Push
vor 3 Wochen
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.