Skip to main content
To follow what we are working on, see our
Changelog
📰
Coq Tezos of OCaml 💫
Protocol
Environment
Proofs
Blog ⚈
Gitlab
Search
Tags
A
arithmetic
1
automation
2
B
backward compatibility
1
C
calculation speed
1
compare
1
continuation
1
coq_hammer
1
coq-of-ocaml
3
D
data_encoding
4
dependent pattern-matching
1
dependent types
1
E
end 2021
1
error monad
1
F
fold_left
1
fold_right
1
function convergence
3
G
generalization
1
I
induction
1
integer
1
internal error
1
internal errors
1
J
json-data-encoding
1
M
mi-cho-coq
1
michelson
4
O
optimization
1
overflow
1
P
PBT
1
profiling
1
proof automation
1
property based testing
1
R
refactoring
1
review
1
S
simulation
1
specification
1
storage
1
T
tactics
1
tail-call
1
tenderbake
1
total function
3
translation
3
types
1
V
validation
2
validity predicates
1
W
welcome
1