fourcolor
Coq-Equations
fourcolor | Coq-Equations | |
---|---|---|
2 | 1 | |
150 | 209 | |
1.3% | - | |
4.6 | 6.8 | |
about 1 month ago | 9 days ago | |
Coq | Coq | |
GNU General Public License v3.0 or later | GNU Lesser General Public License v3.0 only |
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
fourcolor
-
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
Coq-Equations
-
Learn coq or agda before diving into idris2?
I'd say Agda is more similar to Idris than Coq. Coq has a different syntax and isn't as good for programming with dependent types as Agda and Idris (Agda and Idris both put a huge emphasis on dependent pattern matching, something that Coq only recently gained support for through the Equations package).
What are some alternatives?
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.
mathlib - Lean 3's obsolete mathematical components library: please use mathlib4
analysis - Mathematical Components compliant Analysis Library
coq-library-undecidability - A library of mechanised undecidability proofs in the Coq proof assistant.
regexp-Brzozowski - Coq formalization of decision procedures for regular expression equivalence [maintainer=@anton-trunov]
toychain - A minimalistic blockchain consensus implemented and verified in Coq
math-comp - Mathematical Components
ttlite - A SuperCompiler for Martin-Löf's Type Theory
corn - Coq Repository at Nijmegen [maintainers=@spitters,@VincentSe]
principia - The Principia Rewrite
CompCert - The CompCert formally-verified C compiler
rupicola - Gallina to Bedrock2 compilation toolkit