Skip to content
GitLab

Revert "Merge branch 'byte-countable' into 'master'"

Merged Robbert Krebbers requested to merge revert-a2ac9e66 into master

This reverts merge request !155 (merged) because it's incompatible with Coq ≤8.9.

Edited by Robbert Krebbers