/fun.lean

Mike Spivey's "Principles of Programming Languages" in Lean4.

Primary LanguageLean

Stargazers