Repository navigation

feat(refactor): leanlink interface - #1

Merged

asheux merged 7 commits into

mainfrom

feature/leanlink-interface

Nov 2, 2026

Merged

feat(refactor): leanlink interface#1
asheux merged 7 commits into
mainfrom
feature/leanlink-interface

Commits on Nov 2, 2026
- refactor(leanlink): delegate evaluation and proof checks to LeanLink
  asheux
  committed
  a7b2156
- docs(leanlink): use environment APIs in mathlib examples
  asheux
  committed
  35ed540
- fix(formatting): show expandable mathlib object summaries
  asheux
  committed
  dab4a46
- perf(sessions): prepare evaluation alongside mathlib imports
  asheux
  committed
  9bc3643
- refactor(evaluation): share expression and proof cleanup
  asheux
  committed
  a2e7f13
- fix(installation): drain process logs without unnecessary waits
  asheux
  committed
  132e359
- chore(release): prepare v0.1.1
  asheux
  committed
  92178d2