theorem-proving-template

Template repo for theorem proving in Liquid Haskell

Stars

Ecosystems: Haskell

Statistics for this project are still being loaded, please check back later.

Functional Programming Course

koneko - a concatenative not-quite-lisp for kittens

An implementation of "Freer Monads, More Extensible Effects".

What I Wish I Knew When Learning Haskell

Easily build a Haskell project from a stack.yaml.lock file with Nix

Proof combinators used in Liquid Haskell for theorem proving

An opinionated list of resources for learning Haskell

Readings on computational logic, interactive theorem proving and functional programming.

Translate math notes written with the amsthm package to Anki notecards!

A collection of awesome Haskell links, frameworks, libraries and software. Inspired by awesome pr...

Convert Haskell source code to Coq source code.