fix(rivet): correct FEAT-001 -- Coq-Interval is not actually usable - #44

fix(rivet): correct FEAT-001 -- Coq-Interval is not actually usable#44

avrabe wants to merge 1 commit into

mainpulseengine/rules_rocq_rust:mainfrom

docs/feat-001-interval-gap-correctionpulseengine/rules_rocq_rust:docs/feat-001-interval-gap-correctionCopy head branch name to clipboard