# Dépôts de formal-land

<https://repo.masters-masters.com/owners/formal-land>

[Accueil](https://repo.masters-masters.com/) › [formal-land](https://repo.masters-masters.com/owners/formal-land)

Les 2 dépôts GitHub publics de formal-land, du plus étoilé au moins étoilé : étoiles, langage et rang de chaque carte RepoMasters.

## Dépôts de formal-land

2 dépôts publics de formal-land au catalogue, du plus étoilé au moins étoilé.

- [formal-land/rocq-of-rust · ★ 1 194 · Rocq Prover · Bêta](https://repo.masters-masters.com/repos/formal-land/rocq-of-rust)
- [formal-land/rocq-of-ocaml · ★ 279 · OCaml · Alpha](https://repo.masters-masters.com/repos/formal-land/rocq-of-ocaml)

## Voir formal-land sur GitHub

- [https://github.com/formal-land](https://github.com/formal-land)

---
Données : GitHub