achlipala/frap
@achlipalaFormale Überlegungen zu Programmen
Sterne
728
Forks
96
Sprache
Rocq Prover
Lizenz
NOASSERTION
Letzter Push
vor 6 Monaten
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.