QuickChick / Luck
Luck -- A Language for Property-Based Generators
☆33Updated 7 years ago
Related projects ⓘ
Alternatives and complementary repositories for Luck
- The Ynot Project source code.☆21Updated 10 years ago
- A collection of small projects to illustrate how to write plugins for Coq☆21Updated 5 years ago
- Implementation of Nuprl's type theory in Coq☆44Updated 3 years ago
- ☆29Updated 9 years ago
- Constructive Galois connections☆32Updated 6 years ago
- handouts and notes from the 2017 edition of the summer school☆39Updated 7 years ago
- Coq library for working with de Bruijn indices [maintainer=@KevOrr]☆30Updated 3 years ago
- being the programs and code for a paper about general recursion☆24Updated 9 years ago
- ☆18Updated 7 years ago
- ☆10Updated 5 years ago
- Coq Enhancement Proposals☆45Updated this week
- A library for Gradual Certified Programming in Coq☆9Updated 9 years ago
- A mechanized proof of type safety for Featherweight Java using Coq☆16Updated 6 years ago
- A Formalization of Typed and Untyped λ-Calculi in Coq and Agda2☆78Updated 4 years ago
- Binary logical relations library for the Coq proof assistant☆20Updated 2 weeks ago
- Library classes for the Twelf Proof System☆21Updated 4 years ago
- Files for the tutorial "Correct-by-construction programming in Agda" at POPL '19 in Cascais☆26Updated 5 years ago
- A Logical Relation for Martin-Löf Type Theory in Agda☆45Updated last month
- System F in coq.☆19Updated 9 years ago
- A showcase of interesting code and proof developments in Cedille☆36Updated last year
- Formal proof in Coq of Banach-Tarski paradox.☆15Updated last month
- Model finder for higher-order logic☆41Updated 11 months ago
- This project contains various supporting libraries for lean to reason about protocols.☆42Updated 7 years ago
- This package provides a Coq formalization of abstract algebra using a functional programming style. The modules contained within the pack…☆28Updated 5 years ago
- ☆82Updated 7 years ago
- Observational Type Theory as an Agda library☆50Updated 7 years ago
- Reflection library for Coq☆12Updated 5 years ago
- A blog about Coq☆47Updated 2 years ago
- Accepted papers for ICFP 2015☆45Updated 8 years ago
- being a bidirectional reformulation of Martin-Löf's 1971 type theory☆25Updated 7 years ago