Skip to content

Bump version to 1.1.15 in pyproject.toml

26dd0b4
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Merged

Revampped the Lean 4 execution framework; Removed REPL dependency #61

Bump version to 1.1.15 in pyproject.toml
26dd0b4
Select commit
Loading
Failed to load commit list.