# princeton-vl/CoqGym

<https://repo.masters-masters.com/en/repos/princeton-vl/CoqGym>

[Home](https://repo.masters-masters.com/en) › [princeton-vl](https://repo.masters-masters.com/en/owners/princeton-vl) › [CoqGym](https://repo.masters-masters.com/en/repos/princeton-vl/CoqGym)

princeton-vl/CoqGym has 422 stars on GitHub. Its RepoMasters card: Alpha tier. A Learning Environment for Theorem Proving with the Coq proof assistant

| Field | Value |
| --- | --- |
| Owner | [princeton-vl](https://repo.masters-masters.com/en/owners/princeton-vl) |
| Stars | 422 |
| Forks | 54 |
| Language | [Coq](https://repo.masters-masters.com/en/languages/coq) |
| License | LGPL-2.1 |
| Created | 2019 |
| Topics | theorem-proving, machine-learning, icml-2019 |
| Tier | [Alpha (250 to 699 ★)](https://repo.masters-masters.com/en/ranks/b_movie) |
| View on GitHub | [princeton-vl/CoqGym](https://github.com/princeton-vl/CoqGym) |

## Repository

A Learning Environment for Theorem Proving with the Coq proof assistant

The tier for repos with 250 to 699 ★. Published odds per card pulled: 20%. Rarity: Uncommon.

## More repos by princeton-vl

- [princeton-vl/infinigen · ★ 7,385 · Python · Stable](https://repo.masters-masters.com/en/repos/princeton-vl/infinigen)
- [princeton-vl/RAFT · ★ 4,121 · Python · RC](https://repo.masters-masters.com/en/repos/princeton-vl/RAFT)
- [princeton-vl/DROID-SLAM · ★ 2,722 · Python · RC](https://repo.masters-masters.com/en/repos/princeton-vl/DROID-SLAM)
- [princeton-vl/CornerNet · ★ 2,372 · Python · RC](https://repo.masters-masters.com/en/repos/princeton-vl/CornerNet)
- [princeton-vl/CornerNet-Lite · ★ 1,771 · Python · Beta](https://repo.masters-masters.com/en/repos/princeton-vl/CornerNet-Lite)
- [princeton-vl/DPVO · ★ 1,146 · C++ · Beta](https://repo.masters-masters.com/en/repos/princeton-vl/DPVO)

## Nearby in Coq

- [rocq-community/rocq-tricks · ★ 556 · Coq · Alpha](https://repo.masters-masters.com/en/repos/rocq-community/rocq-tricks)
- [antalsz/hs-to-coq · ★ 283 · Coq · Alpha](https://repo.masters-masters.com/en/repos/antalsz/hs-to-coq)
- [lulinchen/cnn\_open · ★ 263 · Coq · Alpha](https://repo.masters-masters.com/en/repos/lulinchen/cnn_open)
- [mit-pdos/fscq · ★ 252 · Coq · Alpha](https://repo.masters-masters.com/en/repos/mit-pdos/fscq)

---
Data: GitHub · Illustration drawn by RepoMasters from the repo’s ID and its language color.