All Git Users → hephaestus-pl

1 open source projects by hephaestus-pl

[ Open user page on Github ]

A mechanized proof of type safety for Featherweight Java using Coq

✭ 15

1-1 of 1 user projects