Jonathan Leivent

Results 2 repositories owned by


                                            Jonathan Leivent

103

Stars

Forks

Watchers

Mindless, verified (erasably) coding using dependent types

Stars

Forks

Watchers

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