Alternatives and similar repositories for FourColorTheorem

Users that are interested in FourColorTheorem are comparing it to the libraries listed below

• andrew-bedford / coqatoo
  Generates natural language versions of Coq proofs
  ☆51Updated 7 years ago
• acowley / LinearLogic
  A simple development of linear logic in Coq.
  ☆13Updated 2 months ago
• egison / egison-haskell
  Template Haskell Implementation of Egison Pattern Matching
  ☆32Updated 4 years ago
• leftaroundabout / manifolds
  Coordinate-free hypersurfaces as Haskell types
  ☆41Updated 2 months ago
• konn / computational-algebra
  General-Purpose Computer Algebra System as an EDSL in Haskell
  ☆93Updated 8 months ago
• ivan-m / graphviz
  Haskell bindings to the Graphviz toolkit
  ☆64Updated 2 years ago
• EdAyers / Robotone
  The 'Robot' theorem prover. Fork of github.com/mg262/research
  ☆12Updated 4 years ago
• algebraic-graphs / agda
  The theory of algebraic graphs formalised in Agda
  ☆90Updated 6 years ago
• JPMoresmau / rnn
  playing with recurrent neural networks
  ☆28Updated 9 years ago
• mstksg / backprop
  Heterogeneous automatic differentiation ("backpropagation") in Haskell
  ☆188Updated this week
• vladimirias / Foundations
  Voevodsky's original development of the univalent foundations of mathematics in Coq
  ☆55Updated 10 years ago
• OUPL / MLCert
  Certified Machine Learning
  ☆41Updated 4 years ago
• leanprover / theorem_proving_in_lean
  Theorem proving in Lean
  ☆49Updated 7 months ago
• ga / haskell
  A geometric algebra implementation in Haskell
  ☆31Updated 4 years ago
• nshepperd / funn
  Funn: Functional Neural Networks in Haskell
  ☆25Updated 6 years ago
• seereason / atp-haskell
  Haskell version of the code from "Handbook of Practical Logic and Automated Reasoning"
  ☆16Updated last year
• shnarazk / mios
  A SAT solver written in Haskell.
  ☆39Updated 6 years ago
• ajtulloch / deeplearning-hs
  ☆54Updated 9 years ago
• egison / sweet-egison
  Haskell library for non-deterministic pattern matching
  ☆17Updated 3 years ago
• albertoruiz / hTensor
  Multidimensional arrays and simple tensor computations
  ☆38Updated last year
• fdilke / bewl
  A DSL for the internal language of a topos
  ☆64Updated last week
• ayberkt / grammar-inference
  Learning rigid grammars in Haskell.
  ☆24Updated 7 years ago
• tscholak / two-layer-network
  Hasktorch two-layer network example project
  ☆13Updated 4 years ago
• sentenai / reinforce
  Reinforcement learning in haskell
  ☆45Updated 4 years ago
• rocq-community / corn
  Coq Repository at Nijmegen [maintainers=@spitters,@VincentSe,@Lysxia]
  ☆115Updated 4 months ago
• xuexue / neuralkanren
  Neural Guided Constraint Logic Programming for Program Synthesis
  ☆93Updated 6 years ago
• Poincare / QLearn
  A fast, easy-to-use q-learning library for Haskell
  ☆44Updated 9 years ago
• TheoWinterhalter / formal-type-theory
  Formalising Type Theory in a modular way for translations between type theories
  ☆95Updated 7 years ago
• FFaissole / Valuations
  Synthetic Topology in Homotopy Type Theory for probabilstic programming
  ☆12Updated 7 years ago
• ramonfmir / lean-scheme
  Schemes in Lean (v2)
  ☆43Updated 4 years ago