GitHub repository: lean-ja/tactic-cheetsheet
Primary language: Lean
Created: 2023-11-23T05:28:24Z
Description: Lean4 の逆引きタクティクリスト