GitHub repository: lean-ja/type_checking_in_lean4_ja
Created: 2024-09-27T03:56:14Z
Description: Type Checking in Lean 4の日本語訳