FreeProving/free-proving-code FreeProving/free-proving-code

  • Stars
    star
    8
  • Rank 2,099,232 (Top 42 %)
  • Language Coq
  • Created over 5 years ago
  • Updated over 4 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
FreeProving/free-proving-code
github

FreeProving

Reviews

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

Repository Details

Library to model effectful programs and prove properties about these programs in Coq

More Repositories

1

free-compiler

A Haskell to Coq compiler that represents effectful programs with the free monad
Haskell
45
star
2

language-coq

Coq AST and pretty-printer written in Haskell
Haskell
5
star
3

call-by-preference

Haskell
2
star