@cella-lang/cpp

C++17 for the Cella proof checker, as a branch of the C family's deep embedding (@cella-lang/cfamily): classes, templates, overloading, references, exceptions, lambdas and the standard library's vector and string written in C++ itself; verdicts (accept, r