spidermoy/Monads_KleisliTriples_Proof spidermoy/Monads_KleisliTriples_Proof

  • Stars
    star
    1
  • Language Coq
  • Created over 5 years ago
  • Updated over 4 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
spidermoy/Monads_KleisliTriples_Proof
github

spidermoy

Reviews

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

Repository Details

Computer Scientist Degree - Thesis Work

More Repositories

1

Model_Checking-LTL-CTLS

Computer Scientist Master Degree - Thesis Work
Haskell
5
star
2

OnTheFly_ModelChecking

Efficient On-the-Fly Model Checking for LTL and CTL★.
Haskell
5
star
3

S3_multipart_upload

Multipart upload of a file to Amazon S3 with Haskell
Haskell
3
star
4

LTL_Coq

Linear Temporal Logic formalized in Coq
Coq
1
star