Ivor

A type theory based theorem proving library

OTHER License

Stars

View Code on GitHub Visit Website View on X

Ecosystems: Haskell

Repository now on github at http://github.com/edwinb/Ivor

Related Projects

type-sets

type level sets

04 Aug 2019 67

talks

repository for talks I'm giving

22 Mar 2017 12

fp-lab-2022-23

02 Oct 2022 7

hap-hs

Haskell [re]implementation of Hap, a simple event-based programming language.

23 Sep 2017 9

hs-to-coq

Convert Haskell source code to Coq source code.

03 Nov 2020 77

reviews

Repository for technical reviews I do

07 Feb 2022 7

type-errors

tools for writing better type errors

01 Jul 2019 73

haskell-proofs

Examples using dependent types for mathematical proofs at the type level

26 Sep 2018 11

avers

A model abstraction library

25 Oct 2016 4

agda

Agda is a dependently typed programming language / interactive theorem prover.

08 Aug 2015 2,368

avl-auth

An authenticated AVL+ tree implementation in Haskell

13 Jun 2020 6

Idris

A language with dependent types

28 Apr 2010 7

hitchhiker-tree

Haskell implementation of https://github.com/datacrypt-project/hitchhiker-tree

16 Jun 2016 8

write-you-a-haskell

Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)

05 Jan 2015 3,341

github-types

This package includes (some) type definitions for objects which are consumed or produced by the G...

26 Jun 2014 2