# GitHub repos by formal-land

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

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

All 2 public GitHub repos by formal-land in RepoMasters, most starred first: stars, language, tier and card for each.

## GitHub repos by formal-land

2 public repos by formal-land in the catalog, most starred first.

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

## See formal-land on GitHub

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

---
Data: GitHub