What next?

C++20 Compile-time Metamath Proof Verification using C'est

by Paul Keir

From the article:

This post introduces C'est, a non-standard version of the C++20 standard library, with enhanced support for compile-time evaluation. The C'est library is also shown applied to the porting of an existing C++ Metamath database verifier for compile-time execution.