Skip to content

Prepare proof-pilot for crates.io: kernel-arbitrated LLM proof completion for Lean 4 - #18

Merged
LucidSamuel merged 1 commit into
mainfrom
feat/proof-pilot-crate
Jul 21, 2026
Merged

Prepare proof-pilot for crates.io: kernel-arbitrated LLM proof completion for Lean 4#18
LucidSamuel merged 1 commit into
mainfrom
feat/proof-pilot-crate

feat: prepare proof-pilot for crates.io as a standalone crate

2b81f90
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar