Skip to content
GitLab
Explore
Sign in
Adam
Iris
Repository
iris
iris
base_logic
lib
gen_heap.v
Find file
Blame
History
Permalink
Extract dfrac notations
· 738b0353
Adam
authored
Nov 23, 2021
This fixes the fixme introduced in !554. Coq issue #13654 was fixed by coq pr #14183.
738b0353