Show HN: I translated (most of) a Coq proof into a C++ template metaprogramgodbolt.org1 point·phaedrus··0 commentsOpen articleSaveView on HN