MaximilianAlgehed/LCFStyleTheoremProver MaximilianAlgehed/LCFStyleTheoremProver

  • Stars
    star
    3
  • Rank 3,963,521 (Top 79 %)
  • Language
    Haskell
  • Created over 7 years ago
  • Updated over 7 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
MaximilianAlgehed/LCFStyleTheoremProver
github

MaximilianAlgehed

Reviews

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

Repository Details

LCF Style theorem prover implementation

More Repositories

1

VisPar

S. Marlow's Par monad with dataflow graph output
Haskell
13
star
2

SessionCheck

Haskell
4
star
3

SpecCheck

Haskell
3
star
4

DCC

DCC embedded in Haskell
Haskell
3
star
5

Boids

Playing with boids
Haskell
2
star
6

MPIForFeldspar

MPI + Feldspar
Haskell
1
star
7

HaskellAlgebraicTopology

Haskell
1
star
8

HaskellNN

Playing around with NNs in Haskell for learning...
Haskell
1
star
9

TypingMachineLearning

Haskell
1
star
10

TypeclassTesting

Testing typeclasses on the form (C a) => (B (f a))
Haskell
1
star
11

LambdaDays

Lambda days QuickSpec demo
Haskell
1
star
12

SafeMerge

Haskell
1
star
13

Multef

Multi-Execution Framework
Coq
1
star
14

QuickSpecConditionals

An implementation of conditional equations in QuickSpec
Haskell
1
star
15

SpecDSL

Haskell
1
star
16

DAT235Projekt

Haskell
1
star
17

Haspec

An API specification language embedded in haskell
Haskell
1
star
18

DynamicIFCTheoremsForFree

Using parametricity to prove noninterference for LIO and Faceted Values
Agda
1
star
19

HTTS

What may one day turn into the Haskell Text Templating System
Haskell
1
star