tangentforks / FourColorTheoremLinks
Gonthier's formal proof of the 4-color theorem, in Coq.
☆11Updated 9 years ago
Alternatives and similar repositories for FourColorTheorem
Users that are interested in FourColorTheorem are comparing it to the libraries listed below
Sorting:
- Generates natural language versions of Coq proofs☆51Updated 7 years ago
- Heterogeneous automatic differentiation ("backpropagation") in Haskell☆191Updated 2 months ago
- A DSL for the internal language of a topos☆66Updated last month
- Voevodsky's original development of the univalent foundations of mathematics in Coq☆56Updated 10 years ago
- General-Purpose Computer Algebra System as an EDSL in Haskell☆92Updated 11 months ago
- Haskell bindings to the Graphviz toolkit☆64Updated 2 years ago
- Typed frontend to TensorFlow and higher-order deep learning☆156Updated 3 years ago
- Deep learning via category theory and functional programming☆146Updated 5 years ago
- playing with recurrent neural networks☆28Updated 9 years ago
- A simple development of linear logic in Coq.☆13Updated 5 months ago
- ☆23Updated 3 years ago
- ☆54Updated 9 years ago
- An Experiment in Haskell Symbolic Algebra☆73Updated 13 years ago
- A library for formalizing Haskell types and functions in Coq☆170Updated last year
- Coordinate-free hypersurfaces as Haskell types☆41Updated 4 months ago
- Template Haskell Implementation of Egison Pattern Matching☆33Updated 5 years ago
- A SAT solver written in Haskell.☆39Updated 6 years ago
- Globular☆39Updated 7 years ago
- The theory of algebraic graphs formalised in Agda☆90Updated 7 years ago
- An interpreter of Hagino's Categorical Programming Language (CPL).☆122Updated 2 months ago
- A Haskell framework to define valid deep learning models and export them to other frameworks like TensorFlow JS or Keras.☆102Updated 2 years ago
- Holophrasm: a neural Automated Theorem Prover for higher-order logic☆55Updated 5 years ago
- ☆21Updated 3 years ago
- ☆27Updated 3 years ago
- A fast, easy-to-use q-learning library for Haskell☆45Updated 9 years ago
- Certified Machine Learning☆41Updated 4 years ago
- Neural Nets in native Haskell☆124Updated 4 years ago
- Lean theorem prover version 0.2 (it supports standard and HoTT modes)☆122Updated 3 years ago
- A fast, easy-to-use ring solver for agda with step-by-step solutions☆40Updated 3 years ago
- A formal proof of the independence of the continuum hypothesis☆133Updated last year