Add Lean 4 support#63

Open

Racemuis wants to merge 72 commits intoSakanaAI:mainfrom

Racemuis:lean_support

Commits on Sep 25, 2025

Commits on Sep 26, 2025

Commits on Sep 28, 2025

Commits on Oct 12, 2025

Added a doc explaining how to add suport for a local LLM and embedding model
vicruz99
committed

Commits on Oct 13, 2025

Add rust to supported languages
LiaCastaneda
committed

Commits on Oct 14, 2025

Commits on Oct 15, 2025

Merge pull request #18 from SakanaAI/fix-packaging
RobertTLange
authored

Commits on Oct 24, 2025

fix apply_full.py when the patch has incomplete (0,1) markers instead of expected 2 (end and start) markers
51616
committed

Commits on Oct 27, 2025

Commits on Oct 30, 2025

Commits on Nov 3, 2025

Commits on Nov 10, 2025

Add Swift language support
jeethu
committed

Commits on Nov 11, 2025

Commits on Nov 12, 2025

Allow boolean flags for eval jobs
jm424
committed

Commits on Nov 13, 2025

Merge pull request #41 from jm424/jai/allow_eval_job_bool_flags
RobertTLange
authored

Commits on Nov 17, 2025

Add json support
jeremycochoy
committed

Commits on Nov 20, 2025

Merge pull request #48 from jm424/jai/add-newer-models
RobertTLange
authored

Commits on Nov 22, 2025

Commits on Dec 3, 2025

Update apply_diff.py
RobertTLange
authored

Commits on Dec 26, 2025

Commits on Dec 27, 2025

Commits on Dec 28, 2025

add GPT 5.2
ifsheldon
committed

Commits on Dec 29, 2025

Merge pull request #61 from ifsheldon/gpt52
RobertTLange
authored