haskell-proofs

Examples using dependent types for mathematical proofs at the type level

BSD-3-CLAUSE License

Stars

View Code on GitHub Visit Website View on X

Ecosystems: Haskell

haskell-proofs

https://alexpeits.github.io/posts/2018-09-27-haskell-proofs.html

Related Projects

Lecturas_GLC

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

31 Dec 2016 62

presentations

Presentations on Liquid Haskell, type theory, and more

28 Oct 2016 43

cloud-haskell-example

Example application with Cloud Haskell.

27 Jun 2016 5

purescript-interop

Generate Purescript types from Haskell

28 Jan 2016 7

fp-lab-2022-23

02 Oct 2022 7

hs-to-coq

Convert Haskell source code to Coq source code.

03 Nov 2020 77

mini-haskell

A self-hosting mini Haskell compiler with a mini C runtime.

21 Nov 2019 61

henk

Pure Type Systems for Functional Programming

18 Sep 2013 32

harg

Haskell program configuration using higher kinded data

23 Jun 2019 29

eq

Leibnizian type equality

12 Jan 2011 13

habito-proofs-talk

04 Apr 2019 5

alex

A lexical analyser generator for Haskell

11 Jul 2011 292

claire

A simple proof assistant

01 Nov 2017 6

simple-sst-model

Simple Semantic Subtyping in Haskell

16 May 2018 6

surface

Dependently-typed language w/ little to say for itself

31 Jan 2017 10