ammkrn / type_checking_in_lean4

Type Checking in Lean 4

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

ammkrn/type_checking_in_lean4 Stargazers