fm-notes
Unassorted scribbles on formal methods, type theory, category theory, and so on, and so on
20 stars
3 watching
2 forks
Language: Coq
last commit: 8 months ago coqdependent-typesformal-methodsformal-verificationhandbooklecture-notesscribblestheorem-proving