Skip to content
Snippets Groups Projects

Rename `seq_S_snoc` into `seq_S` to be consistent with Coq's stdlib.

Failed
Robbert Krebbers created pipeline for commit 9782eda9
, finished
1 related merge request: !212 Rename `seq_S_snoc` into `seq_S` to be consistent with Coq's stdlib
branch
4 jobs 8 minutes 18 seconds, queued for 2 seconds