Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

Search results for haskell proof assistant

haskell x
proof-assistant x
14 search results found
Agda ⭐ 2,281
Agda is a dependently typed programming language / interactive theorem prover.
Plfa.github.io ⭐ 1,285
An introduction to programming language theory in Agda
Rzk ⭐ 180
An experimental proof assistant based on a type theory for synthetic ∞-categories.
Holbert ⭐ 149
A graphical interactive proof assistant designed for education
Ditto ⭐ 130
A Super Kawaii Dependently Typed Programming Language
Owo ⭐ 61
Placeholder for the OwO compiler
Peppermint Prover ⭐ 35
Experimental proof assistant (and architecture) for dependent linear logic
Hout Prover ⭐ 13
A non-interactive proof assistant using the Haskell type system
Teenytt ⭐ 7
A Teeny Type Theory
Vstyle ⭐ 7
A style guide for Coq
Lk Proof Assistant ⭐ 7
Simple Proof assistant for LK Calculus (First-Order logic)
Muprl ⭐ 7
A small NuPRL style proof assistant
Gentzen ⭐ 6
A beginner's theorem prover
Linear Logic Proof Assistant ⭐ 5
Sequent calculus based proof assistant for ILL
Related Searches
Haskell Ghc (1,289)
Types Haskell (1,028)
Language Haskell (853)
Haskell Functional Programming (811)
Haskell Monad (681)
Haskell Hackage (574)
Haskell Stack (554)
Haskell Programming (549)
Haskell Bindings (444)
Javascript Haskell (398)
1-14 of 14 search results
Privacy | About | Terms | Follow Us On Twitter

Copyright 2018-2024 Awesome Open Source.  All rights reserved.