GitHub repository: spinylobster/ConcreteSemantics.lean
Primary language: Lean
Description: 「Concrete Semantics」を Lean で読むノート