How Boojum 2.0 turns programs into proofs.
These docs are split into 3 parts:
-
Basics - that cover basic concepts of math, proofs etc.
-
Advanced - covering more complex topics, adding some impmementation details and caveats
-
Code Walkthough - that looks at the code snippets of the actual boojum code.