/ConcreteSemantics.lean

「Concrete Semantics」を Lean で読むノート

Primary LanguageLean

Stargazers