# GitHub repos by lean-forward

<https://repo.masters-masters.com/en/owners/lean-forward>

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

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

## GitHub repos by lean-forward

1 public repo by lean-forward in the catalog, most starred first.

- [lean-forward/logical\_verification\_2025 · ★ 173 · Lean · Prototype](https://repo.masters-masters.com/en/repos/lean-forward/logical_verification_2025)

## See lean-forward on GitHub

- [https://github.com/lean-forward](https://github.com/lean-forward)

---
Data: GitHub