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

Save to:
Instapaper Pocket Readability

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.

Add a Comment

You must sign in or register to add a comment.

Comments (0)

There are currently no comments on this entry.