Skip to content

Add ↔︎ with text variation selector as a notation for equivalence. - #311

Merged
proux01 merged 5 commits into
rocq-prover:masterfrom
zacharie-moughanim:master
Oct 15, 2026
Merged

proux01 merged 5 commits into
rocq-prover:masterfrom
zacharie-moughanim:master

Update theories/Unicode/Utf8_core.v

865fda3
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

2 warnings and 1 notice
rocq-elpi
succeeded Oct 15, 2026 in 58s