ammkrn/type_checking_in_lean4

Type Checking in Lean 4

语言：JavaScript · GitHub 星标：42 · Fork：12

在 GitHub 上查看原仓库