# Paper-Proof/paperproof

<https://repo.masters-masters.com/repos/Paper-Proof/paperproof>

[Accueil](https://repo.masters-masters.com/) › [Paper-Proof](https://repo.masters-masters.com/owners/Paper-Proof) › [paperproof](https://repo.masters-masters.com/repos/Paper-Proof/paperproof)

Paper-Proof/paperproof, dépôt open source à 555 étoiles sur GitHub. Carte Alpha de RepoMasters. Lean theorem proving interface which feels like pen-and-paper…

| Champ | Valeur |
| --- | --- |
| Propriétaire | [Paper-Proof](https://repo.masters-masters.com/owners/Paper-Proof) |
| Étoiles | 555 |
| Forks | 17 |
| Langage | [TypeScript](https://repo.masters-masters.com/languages/typescript) |
| Licence | MIT |
| Création | 2023 |
| Sujets | lean4, mathematics |
| Rang | [Alpha (250 à 699 ★)](https://repo.masters-masters.com/ranks/b_movie) |
| Voir sur GitHub | [Paper-Proof/paperproof](https://github.com/Paper-Proof/paperproof) |

## Fiche du dépôt

Lean theorem proving interface which feels like pen-and-paper proofs.

Rang des dépôts qui ont 250 à 699 ★ sur GitHub. Probabilité publiée par carte tirée : 20 %. Rareté : Peu commune.

## D’autres dépôts TypeScript

- [BlueprintLabIO/markdown-ui · ★ 555 · TypeScript · Alpha](https://repo.masters-masters.com/repos/BlueprintLabIO/markdown-ui)
- [smp46/pingvin-share-x · ★ 555 · TypeScript · Alpha](https://repo.masters-masters.com/repos/smp46/pingvin-share-x)
- [cv-cat/catbus · ★ 555 · TypeScript · Alpha](https://repo.masters-masters.com/repos/cv-cat/catbus)
- [vvakame/typescript-formatter · ★ 555 · TypeScript · Alpha](https://repo.masters-masters.com/repos/vvakame/typescript-formatter)
- [jaywcjlove/validator.js · ★ 555 · TypeScript · Alpha](https://repo.masters-masters.com/repos/jaywcjlove/validator.js)
- [mg901/styled-breakpoints · ★ 555 · TypeScript · Alpha](https://repo.masters-masters.com/repos/mg901/styled-breakpoints)

---
Données : GitHub · Illustration dessinée par RepoMasters à partir de l’identifiant du dépôt et de la couleur de son langage.