jgonggrijp/net-prove jgonggrijp/net-prove

  • Stars
    star
    3
  • Rank 3,963,521 (Top 79 %)
  • Language
    Haskell
  • License
    Other
  • Created almost 10 years ago
  • Updated almost 10 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
jgonggrijp/net-prove
github

jgonggrijp

Reviews

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

Repository Details

Academic theorem prover based on proof nets, focused on LG, written in Haskell.

More Repositories

1

rich-typed-pointers

Smart pointers that rely on the type system
5
star