All Git Users → mgrabovsky

1 open source projects by mgrabovsky

[ Open user page on Github ]

Unassorted scribbles on formal methods, type theory, category theory, and so on, and so on

✭ 19

Coq Makefile coq handbook theorem-proving formal-methods lecture-notes formal-verification scribbles

1-1 of 1 user projects