tutorial_material

proof script associated to tutorial material

17 stars

10 watching

1 forks

Language: Coq

last commit: 11 months ago

Linked from 1 awesome list

Backlinks from these awesome lists:

coq-community/awesome-coq