# GitHub repos by uds-psl

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

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

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

## GitHub repos by uds-psl

2 public repos by uds-psl in the catalog, most starred first.

- [uds-psl/coq-library-undecidability · ★ 145 · Rocq Prover · Prototype](https://repo.masters-masters.com/en/repos/uds-psl/coq-library-undecidability)
- [uds-psl/MPCTT · ★ 129 · Rocq Prover · Prototype](https://repo.masters-masters.com/en/repos/uds-psl/MPCTT)

## See uds-psl on GitHub

- [https://github.com/uds-psl](https://github.com/uds-psl)

---
Data: GitHub