Skip to content

README: remove ref to closed coq bug #408

README: remove ref to closed coq bug

README: remove ref to closed coq bug #408