Skip to content

feat(#90): the runtime of generated Lean is native modules (RT-01..RT-04) - #144

Merged
humuhumu33 merged 4 commits into
mainfrom
claude/issue-90-native-runtimes
Oct 16, 2026
Merged

feat(#90): the runtime of generated Lean is native modules (RT-01..RT-04)#144
humuhumu33 merged 4 commits into
mainfrom
claude/issue-90-native-runtimes

chore(#90): regenerate the models and reasoning records and the certi…

6a44885
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar