CoqGym Alternatives

Similar projects and alternatives to CoqGym

• lean4

  53 3,739 9.9 Lean CoqGym VS lean4

  Lean 4 programming language and theorem prover

  

• FStar

  42 2,562 9.9 F* CoqGym VS FStar

  A Proof-oriented Programming Language

  

• WorkOS

  workos.com sponsored

  The modern identity platform for B2B SaaS. The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning.

  

• Idris2

  39 2,395 9.6 Idris CoqGym VS Idris2

  A purely functional programming language with first class types

  

• dafny

  31 2,665 9.7 C# CoqGym VS dafny

  Dafny is a verification-aware programming language

  

• z3

  28 9,708 9.8 C++ CoqGym VS z3

  The Z3 Theorem Prover

  

• lean

  4 1,915 0.0 C++ CoqGym VS lean

  Discontinued Lean Theorem Prover (by leanprover)

  

• coq

  87 4,602 10.0 OCaml CoqGym VS 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.

  

• InfluxDB

  www.influxdata.com sponsored

  Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.

  

• trepplein

  2 26 0.0 Scala CoqGym VS trepplein

  Lean type-checker written in Scala.

• cedar-spec

  3 66 9.1 Lean CoqGym VS cedar-spec

  Definitional implementation of Cedar language and utilities for DRT

  

• lean-chat

  1 47 10.0 Lean CoqGym VS lean-chat

• mathlib

  36 1,625 8.8 Lean CoqGym VS mathlib

  Lean 3's obsolete mathematical components library: please use mathlib4

  

• symmetric_project

  1 78 9.1 Lean CoqGym VS symmetric_project

• CodeContracts

  3 850 0.0 C# CoqGym VS CodeContracts

  Discontinued Source code for the CodeContracts tools for .NET

  

• idris2-pack-db

  1 14 9.5 CoqGym VS idris2-pack-db

• SaaSHub

  www.saashub.com sponsored

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