tezoscoq

working with coq and tezos

GitHub

28 stars
13 watching
9 forks
Language: Coq
last commit: about 7 years ago