Internal Eq notation #198
Description
There is no notation for internal equality right now. We could add it like in Iris-Rocq (using ≡) or we could consider doing something less confusing.
{{ message }}
There is no notation for internal equality right now. We could add it like in Iris-Rocq (using ≡) or we could consider doing something less confusing.