The Penn PL Club
Results
4
repositories owned by
The Penn PL Club
hs-to-coq
75
Stars
6
Forks
Watchers
Convert Haskell source code to Coq source code.
cis670-16fa
36
Stars
10
Forks
Watchers
Advanced Topics in Programming Languages, Penn CIS 670, Fall 2016
lngen
27
Stars
7
Forks
Watchers
Tool for generating Locally Nameless definitions and proofs in Coq, working together with Ott