Fix compilation with Coq 8.10 (which has a weaker `lia`).
1 related merge request: !212 Rename `seq_S_snoc` into `seq_S` to be consistent with Coq's stdlib
branch
4 jobs
8 minutes 29 seconds, queued for 1 seconds