princeton-vl / CoqGymLinks

A Learning Environment for Theorem Proving with the Coq proof assistant
403Updated last year

Alternatives and similar repositories for CoqGym

Users that are interested in CoqGym are comparing it to the libraries listed below

Sorting: