mratsim / haskell-numbertheoryLinks
Exploration of primes, factorization and number theory through haskell
☆10Updated 9 years ago
Alternatives and similar repositories for haskell-numbertheory
Users that are interested in haskell-numbertheory are comparing it to the libraries listed below
Sorting:
- ☆21Updated 7 years ago
- An encyclopedia of proofs☆64Updated last year
- Examples from our paper "Capturing the Future by Replaying the Past"☆23Updated last year
- ☆13Updated 4 years ago
- This package provides a Coq formalization of abstract algebra using a functional programming style. The modules contained within the pack…☆28Updated 6 years ago
- LL(1) parser generator verified in Coq☆48Updated 5 years ago
- ☆29Updated 10 years ago
- Implementation of Nuprl's type theory in Coq☆46Updated last year
- Luck -- A Language for Property-Based Generators☆36Updated 11 months ago
- Generation of abstract binding trees☆27Updated 4 months ago
- Quantitative Type Theory implementation☆54Updated 4 years ago
- An enhanced unification algorithm for Coq☆58Updated last month
- This project contains various supporting libraries for lean to reason about protocols.☆43Updated 8 years ago
- Reference type checker for the Lean theorem prover☆64Updated 8 years ago
- A Formal Library about Elliptic Curves for the Mathematical Components Library.☆15Updated 4 years ago
- Alg is a program that generates all finite models of a first-order theory. It is optimized for equational theories.☆84Updated 4 years ago
- mechanization paired with https://github.com/hazelgrove/hazelnut-dynamics☆21Updated last year
- Simply-typed lambda calculus (plus several features) -> x86 executables for Linux and Windows☆25Updated 13 years ago
- Parallel Environment for optimal Lambda Calculus Reduction☆28Updated 3 years ago
- LeanSSR: an SSReflect-Like Tactic Language for Lean☆40Updated last month
- Two-Level Type Theory☆28Updated 6 years ago
- Lean type-checker written in Scala.☆40Updated 3 years ago
- A Toy Inverse Bidirectional Typechecker☆32Updated 6 years ago
- A Unifying Cartesian Cubical Set Model☆35Updated 6 years ago
- ☆49Updated 2 years ago
- Automated Reasoning for the Working Mathematician☆11Updated 6 years ago
- Paper and talk☆55Updated 2 years ago
- Self-contained repository for the eponymous paper☆30Updated 7 years ago
- Dafny for Metatheory of Programming Languages☆27Updated 4 months ago
- Problem Sets for MIT 6.887 Formal Reasoning About Programs, Spring 2017☆20Updated 8 years ago