# Dépôts de theorem-labs

<https://repo.masters-masters.com/owners/theorem-labs>

[Accueil](https://repo.masters-masters.com/) › [theorem-labs](https://repo.masters-masters.com/owners/theorem-labs)

Le dépôt GitHub public de theorem-labs en carte à collectionner : étoiles, langage et rang dans RepoMasters, le jeu de cartes de l’open source.

## Dépôts de theorem-labs

1 dépôt public de theorem-labs au catalogue pour l’instant.

- [theorem-labs/oss-verify-proofs · ★ 193 · Rocq Prover · Prototype](https://repo.masters-masters.com/repos/theorem-labs/oss-verify-proofs)

## Voir theorem-labs sur GitHub

- [https://github.com/theorem-labs](https://github.com/theorem-labs)

---
Données : GitHub