-
Ralf Jung authored
mono_nat algebra: add dfrac support and notation See merge request iris/iris!759
ec624937
To find the state of this project's repository at the time of any of these versions, check out the tags.
mono_nat algebra: add dfrac support and notation See merge request iris/iris!759