Coq-100-theorems Alternatives

Similar projects and alternatives to coq-100-theorems based on common topics and language

• Smalltalk

  1 255 1.8 C++ coq-100-theorems VS Smalltalk

  Parser, code model, interpreter and navigable browser for the original Xerox Smalltalk-80 v2 sources and virtual image file (by rochus-keller)

• coq

  1 4,428 9.6 OCaml coq-100-theorems 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.

  

• Appwrite

  appwrite.io

  sponsored

  Appwrite - The open-source backend cloud platform. Add Auth, Databases, Functions, and Storage to your product and build any application at any scale while using your preferred coding languages and tools.

  

• next-700-module-systems

  - 76 0.0 HTML coq-100-theorems VS next-700-module-systems

  PhD research ;; What's the difference between a typeclass/trait and a record/class/struct? Nothing really, or so I argue.

• austral

  1 848 0.0 OCaml coq-100-theorems VS austral

  Systems language with linear types and capability-based security.

  

• CompCert

  - 1,695 0.0 Coq coq-100-theorems VS CompCert

  The CompCert formally-verified C compiler

  

• magmide

  - 784 0.0 Coq coq-100-theorems VS magmide

  A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.