OctopiChalmers/PropProver OctopiChalmers/PropProver

  • Stars
    star
    1
  • Language
    Haskell
  • License
    BSD 3-Clause "New...
  • Created about 5 years ago
  • Updated over 4 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
OctopiChalmers/PropProver
github

OctopiChalmers

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

An embedded DSL in Haskell for proving propositional logic stuff kinda interactively.

More Repositories

1

haski

Haskell
8
star
2

dragen

Branching processes for QuickCheck generators
Haskell
6
star
3

BinderAnn

BinderAnn: Automated Reification of Source Annotations for Monadic EDSLs
Haskell
4
star
4

OptimisingFSME

Supplementary material to "Optimising Faceted Secure Multi-Execution"
Agda
2
star
5

mutagen

Property-Based Testing framework using exhaustive mutations.
Haskell
2
star
6

hpatterns

Playing around with pattern matching representation
Haskell
1
star
7

dragen2

QuickCheck utilities to generate structured data.
Haskell
1
star
8

BinderAnn-examples

Case studies of the BinderAnn GHC plugin
Haskell
1
star