Skip to content

fix: use frederick lean repl + gc#11

Merged
desaxce merged 5 commits into
mainfrom
hugues/take-frederick-repl
Jun 14, 2025
Merged

fix: use frederick lean repl + gc#11
desaxce merged 5 commits into
mainfrom
hugues/take-frederick-repl

Merge branch 'main' of github.com:project-numina/kimina-lean-server i…

1a4f315
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs