AlphaPeu commune
Paper-Proof/paperproof
Lean theorem proving interface which feels like pen-and-paper proofs.
- Propriétaire
- Paper-Proof (organisation)
- Étoiles
- Étoiles : 555
- Forks
- Forks : 17
- Langage
- TypeScript
- Licence
- MIT
- Création
- 2023
- Sujets
- lean4mathematics
- Rang
- Alpha (250 à 699 ★) Ce que veut dire ce rang
D’autres dépôts TypeScript
Tous les dépôts TypeScript- BlueprintLabIO/markdown-uiÉtoiles : 555TypeScriptAlpha
- dennisklappe/CloudMeetÉtoiles : 555TypeScriptAlpha
- claude-office-skills/skillsÉtoiles : 555TypeScriptAlpha
- vvakame/typescript-formatterÉtoiles : 555TypeScriptAlpha
- jaywcjlove/validator.jsÉtoiles : 555TypeScriptAlpha
- mg901/styled-breakpointsÉtoiles : 555TypeScriptAlpha