Skip to content
GitLab
Explore
Sign in
concordium
smart-contract-interactions
Repository
smart-contract-interactions
theories
Congress.v
Find file
Blame
History
Permalink
Add some lemmas to make proving stuff for deployed contracts easier
· ebdb6783
Jakob Botsch Nielsen
authored
Oct 29, 2019
Also use these from Congress.v
ebdb6783