Spaces:

Ray5th
/

Lean4-helper

Running

App Files Files Community

Lean4-helper / README.md

Commit History

Repo cleanup: dead code out, test isolation fix, real README

16fb4fc

p4r5kpftnp-cmd commited on 23 days ago

Fix HF Spaces colorFrom value (orange not in allowed list)

ba6a7f2

p4r5kpftnp-cmd Claude Sonnet 4.6 commited on May 18

Add Hugging Face Spaces YAML frontmatter to README

7c0d626

p4r5kpftnp-cmd Claude Sonnet 4.6 commited on May 18

rework

4562b5e

p4r5kpftnp-cmd commited on Apr 25

Initial commit: Agentic Lean 4 Theorem Prover

4a3b0d0

p4r5kpftnp-cmd commited on Apr 15