summaryrefslogtreecommitdiff
path: root/tests/coq/betree
diff options
context:
space:
mode:
authorSon HO2024-04-04 15:50:55 +0200
committerGitHub2024-04-04 15:50:55 +0200
commit3909a38f3f8c58c9f97d36777c52e02617ef70b4 (patch)
tree31d0746ca86d040b5028c747a6bbbec18071ac48 /tests/coq/betree
parent7f7387c5519da00133ad557450695e6d6838f93c (diff)
parentfc0b39c4fe48fdbab06d5fd32e0a2b7dcae674e6 (diff)
Merge pull request #112 from AeneasVerif/son/coerce
Fix the coerce notation for scalars and update some lemmas
Diffstat (limited to 'tests/coq/betree')
0 files changed, 0 insertions, 0 deletions