All Git Users → plclub

2 open source projects by plclub

[ Open user page on Github ]

The Penn Locally Nameless Metatheory Library

✭ 47

Convert Haskell source code to Coq source code.

✭ 64

Coq haskell Yacc ruby Nix emacs lisp coq

1-2 of 2 user projects