Eigentümer · Paper-Proof

Paper-Proof

Erfasste Open-Source-Repos von Paper-Proof, sortiert nach Sternen.

1 Repo

#1
paperproof ↗@Paper-ProofTypeScript
Lean-Schnittstelle für Theorembeweise, die sich wie handschriftliche Notizen anfühlt.
★ 545+3Sterne-Änderung der letzten 7 Tage