Fourcolor Alternatives
Similar projects and alternatives to fourcolor
-
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
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.
-
regexp-Brzozowski
Coq formalization of decision procedures for regular expression equivalence [maintainer=@anton-trunov]
-
SaaSHub
SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives
fourcolor reviews and mentions
-
On the Four Color Problem
Takes around 15 minutes on my machine.
[0] https://github.com/coq-community/fourcolor
[1] https://github.com/NixOS/nixpkgs/blob/master/pkgs/developmen...
- Solution to the four color theorem in haskell
Stats
coq-community/fourcolor 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 fourcolor is Coq.
Popular Comparisons
Sponsored