lean-eureka
Lean
★ 2
updated 1d ago
EURISKO-inspired reflection, LCF-style trust — a fixed-gate verified discovery system in Lean 4
No plain-English explanation yet — one is being written right now. Check back in a minute.