Skip to content

Validate REPL imports with the selected Lean toolchain - #106

Merged
Deicyde merged 15 commits into
split/repl-disposable-lifecyclefrom
split/repl-lean-header-validation
Oct 6, 2026
Merged

Validate REPL imports with the selected Lean toolchain#106
Deicyde merged 15 commits into
split/repl-disposable-lifecyclefrom
split/repl-lean-header-validation

Commits

  1. Commits on Oct 5, 2026

  2. Commits on Oct 6, 2026