Skip to content

Make lemmas for `seq` and `seqZ` consistent.

Robbert Krebbers requested to merge robbert/seq_seqZ into master

This closes issue #57 (closed)

Edited by Robbert Krebbers

Merge request reports