florent-kirchner documents

Rule-Based Operational Semantics for an Imperative Language
Documents Rule-Based Operational Semantics for an Imperative Language
The proof monad
Documents The proof monad