Show HN: I translated (most of) a Coq proof into a C++ template metaprogramhttps://godbolt.org/z/AFBEvO by phaedrus • 8 years ago 1 0 8 years agoGOgodbolt.org