# GitHub repos by AU-COBRA

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

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

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

## GitHub repos by AU-COBRA

1 public repo by AU-COBRA in the catalog, most starred first.

- [AU-COBRA/ConCert · ★ 129 · Rocq Prover · Prototype](https://repo.masters-masters.com/en/repos/AU-COBRA/ConCert)

## See AU-COBRA on GitHub

- [https://github.com/AU-COBRA](https://github.com/AU-COBRA)

---
Data: GitHub