Comment by shp0ngle

I would love to know how that Coq stuff works, but I guess it’s way over my intellect.