AlphaUncommon
Paper-Proof/paperproof
Lean theorem proving interface which feels like pen-and-paper proofs.
- Owner
- Paper-Proof (organization)
- Stars
- Stars: 555
- Forks
- Forks: 17
- Language
- TypeScript
- License
- MIT
- Created
- 2023
- Topics
- lean4mathematics
- Tier
- Alpha (250 to 699 ★) What this tier means
Nearby in TypeScript
All TypeScript repos- smp46/pingvin-share-xStars: 555TypeScriptAlpha
- dennisklappe/CloudMeetStars: 555TypeScriptAlpha
- claude-office-skills/skillsStars: 555TypeScriptAlpha
- vvakame/typescript-formatterStars: 555TypeScriptAlpha
- jaywcjlove/validator.jsStars: 555TypeScriptAlpha
- mg901/styled-breakpointsStars: 555TypeScriptAlpha