Coq-100-theorems Alternatives
Similar projects and alternatives to coq-100-theorems based on common topics and language
-
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.
-
Smalltalk
Parser, code model, interpreter and navigable browser for the original Xerox Smalltalk-80 v2 sources and virtual image file (by rochus-keller)
-
InfluxDB
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.
-
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.
-
magmide
A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.
coq-100-theorems reviews and mentions
Stats
coq-community/coq-100-theorems is an open source project licensed under GNU General Public License v3.0 or later which is an OSI approved license.
The primary programming language of coq-100-theorems is HTML.
Popular Comparisons
Sponsored