rocq-community/rocq-tricks
@rocq-communityTricks, die man sich im Coq-Handbuch gewünscht hätte [maintainer=@tchajed]
Sterne
552
Forks
25
Sprache
Coq
Lizenz
MIT
Letzter Push
vor 1 Jahr
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.