GitHub repository: leanprover-community/lean-auto
Primary language: Lean
Description: Experiments on automation for Lean