esennesh/cs691PL esennesh/cs691PL

  • Stars
    star
    1
  • Language Coq
  • Created over 9 years ago
  • Updated over 9 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
esennesh/cs691PL
github

esennesh

Reviews

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

Repository Details

Exercises and code ripped-off from the UMass Amherst CS691PL course and Chlipala's "Certified Programming with Dependent Types"

More Repositories

1

jllvm

Automatically exported from code.google.com/p/jllvm
C
7
star
2

categorical_bpl

Jupyter Notebook
7
star
3

decac

Automatically exported from code.google.com/p/decac
Scala
6
star
4

lambda-learner

Haskell
1
star