You May Also Enjoy
Tutorial : A Verified Interpreter with Side Effects
17 minute read
Published:
1. Introduction
Initial Algebras, Catamorphisms, and Interpreters
11 minute read
Published:
In the last section, we introduced the free monad and implemented it in Lean. In this section we will study the theory a bit more deeply, by understanding the notions of algebra and universality.
Part 1: Defining the Free Monad in Lean
12 minute read
Published:
1. Introduction
ZkFlow: A Formally Verified Compiler for Zero-Knowledge Circuits
less than 1 minute read
Published:
🚧 Under construction 🔐