Skip to content

GitLab

Merged
Created by Robbert Krebbers@robbertkrebbersMaintainer

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

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

Edited by Robbert Krebbers