GitHub repository: JOSHCLUNE/lean-auto
Primary language: Lean
Description: Experiments in automation for Lean