GitHub repository: JLimperg/aesop
Primary language: Lean
Created: 2021-06-01T13:03:00Z
Description: White-box automation for Lean 4