All Git Users → jonleivent

2 open source projects by jonleivent

[ Open user page on Github ]

1. Mindless Coding

Mindless, verified (erasably) coding using dependent types

✭ 104

2. mindless-coding-phase2

Mindless, verified (erasably) coding using dependent types, phase 2

✭ 19

Coq ocaml Makefile shell

1-2 of 2 user projects