GitHub repository: namin/LeanDisco
Primary language: Lean
Created: 2025-06-12T01:47:19Z
Description: Eurisko-Inspired Discovery System for Lean in Lean