Skip to content
GitLab
Explore
Sign in
concordium
smart-contract-interactions
Repository
smart-contract-interactions
src
BoundedN.v
Find file
Blame
History
Permalink
Some further cleanups
· 7a5e908d
Jakob Botsch Nielsen
authored
Apr 23, 2019
Refactor proof of add_new_block_header and simplify add_block proof.
7a5e908d