# GitHub repos by avigad

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

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

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

## GitHub repos by avigad

2 public repos by avigad in the catalog, most starred first.

- [avigad/mathematics\_in\_lean\_source · ★ 224 · Lean · Prototype](https://repo.masters-masters.com/en/repos/avigad/mathematics_in_lean_source)
- [avigad/lamr · ★ 120 · Lean · Prototype](https://repo.masters-masters.com/en/repos/avigad/lamr)

## See avigad on GitHub

- [https://github.com/avigad](https://github.com/avigad)

---
Data: GitHub