Paper-Proof/paperproof
@Paper-ProofLean-Schnittstelle für Theorembeweise, die sich wie handschriftliche Notizen anfühlt.
Sterne
545
Forks
18
Sprache
TypeScript
Lizenz
MIT
Letzter Push
vor 3 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.