• Stars
    star
    1
  • Language Coq
  • Created over 11 years ago
  • Updated almost 10 years ago

Reviews

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

Repository Details

Modeling a CPS translation from STLC to System F in Coq using Locally Nameless