# GitHub repos by theorem-labs

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

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

The public GitHub repo by theorem-labs in RepoMasters, the trading card game of open source: stars, language, tier and card.

## GitHub repos by theorem-labs

1 public repo by theorem-labs in the catalog, most starred first.

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

## See theorem-labs on GitHub

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

---
Data: GitHub