Skip to content

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

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

Merge request reports