A Learning Environment for Theorem Proving with the Coq proof assistant (by princeton-vl)

CoqGym Alternatives

Similar projects and alternatives to CoqGym based on common topics and language

  • GitHub repo coq

    Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

  • GitHub repo lean

    Lean Theorem Prover (by leanprover)

  • Scout APM

    Scout APM: A developer's best friend. Try free for 14-days. Scout APM uses tracing logic that ties bottlenecks to source code so you know the exact line of code causing performance issues and can get back to building a great product faster.

  • GitHub repo mathlib

    Lean mathematical components library

  • GitHub repo cakeml

    CakeML: A Verified Implementation of ML

  • GitHub repo trepplein

    Lean type-checker written in Scala.

  • GitHub repo tptp

    Parser and pretty printer for the TPTP language

  • GitHub repo awesome-rust-formalized-reasoning

    An exhaustive list of all Rust resources regarding automated or semi-automated formalization efforts in any area, constructive mathematics, formal algorithms, and program verification.

  • SaaSHub

    SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives

NOTE: The number of mentions on this list indicates mentions on common posts. Hence, a higher number means a better CoqGym alternative or higher similarity.

Suggest an alternative to CoqGym


Posts where CoqGym has been mentioned. We have used some of these posts to build our list of alternatives and similar projects.

We don't know posts mentioning CoqGym yet. We started tracking mentions in Dec 2020.


Basic CoqGym repo stats
3 months ago

princeton-vl/CoqGym is an open source project licensed under GNU Lesser General Public License v3.0 only which is an OSI approved license.