tezos tezoscoq issues - Githubissues

tezos / tezoscoq

working with coq and tezos

28 stars 9 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

Publish on Coq OPAM repository?

#5 jeromesimeon opened 6 years ago
0
Missing LICENSE

#4 jeromesimeon opened 6 years ago
1
State of the coq implementation of Michelson?

#3 dheeraj-chakilam opened 6 years ago
25
Typing of instructions and programs should be uniform?

#2 CoinFormalizer opened 8 years ago
0
stack_type should be list type

#1 CoinFormalizer opened 8 years ago
0