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
- A DSL for the internal language of a topos☆66Updated 2 months ago
- Heterogeneous automatic differentiation ("backpropagation") in Haskell☆192Updated 4 months ago
- An Experiment in Haskell Symbolic Algebra☆73Updated 13 years ago
- Typed frontend to TensorFlow and higher-order deep learning☆156Updated 3 years ago
- ☆54Updated 9 years ago
- Voevodsky's original development of the univalent foundations of mathematics in Coq☆57Updated 11 years ago
- playing with recurrent neural networks☆28Updated 10 years ago
- Globular☆39Updated 7 years ago
- A formal proof of the independence of the continuum hypothesis☆133Updated last year
- Template Haskell Implementation of Egison Pattern Matching☆33Updated 5 years ago
- A library for formalizing Haskell types and functions in Coq☆170Updated last year
- Notes on how to use the internal language of toposes in algebraic geometry☆59Updated 2 weeks ago
- An interpreter of Hagino's Categorical Programming Language (CPL).☆122Updated 3 months ago
- Haskell bindings to the Graphviz toolkit☆64Updated 3 years ago
- Coordinate-free hypersurfaces as Haskell types☆41Updated 6 months ago
- Coq Repository at Nijmegen [maintainers=@spitters,@VincentSe,@Lysxia]☆115Updated last week
- Categorical logic from a categorical point of view☆81Updated last year
- General-Purpose Computer Algebra System as an EDSL in Haskell☆93Updated last year
- A library of abstract interfaces for mathematical structures in Coq [maintainer=@spitters,@Lysxia]☆167Updated last week
- Implementation of Univalence in Cubical Sets☆147Updated 10 years ago
- Formalising Type Theory in a modular way for translations between type theories☆95Updated 7 years ago
- The theory of algebraic graphs formalised in Agda☆91Updated 7 years ago
- A simple development of linear logic in Coq.☆13Updated 6 months ago
- A fast, easy-to-use q-learning library for Haskell☆45Updated 9 years ago
- Reinforcement learning in haskell☆45Updated 4 years ago
- Synthetic Topology in Homotopy Type Theory for probabilstic programming☆12Updated 7 years ago
- Coq course at Chalmers CSE☆39Updated 8 years ago
- Learning rigid grammars in Haskell.☆24Updated 7 years ago
- Type-safe tensor manipulation operations in Haskell with tensorflow-style automatic differentiation☆59Updated 8 years ago