GitHub repository: leanprover-community/aesop
Primary language: Lean
Description: White-box automation for Lean 4