Skip to content

(feat) local Lean4 engine with Docker-based execution#105

Merged
leoveanv merged 2 commits into
mainfrom
dev
Apr 2, 2026
Merged

(feat) local Lean4 engine with Docker-based execution#105
leoveanv merged 2 commits into
mainfrom
dev

(feat) add local Lean4 engine with Docker-based execution

ccddb32
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning

The logs for this run have expired and are no longer available.