Show HN: I translated (most of) a Coq proof into a C++ template metaprogram (godbolt.org) 1 points by phaedrus 7y ago ↗ HN
0 comments
[ 2.7 ms ] story [ 12.7 ms ] threadNo comments yet.