Code

Setup Lean/Python interop#3

Code

Merged

govereau merged 2 commits intomainleanprover/NKL:mainfrom pg-rffileanprover/NKL:pg-rffiCopy head branch name to clipboardOct 21, 2024

+333-19

Commits

Commits on Oct 18, 2024

• chore: cleanup files after repo renaming

  govereau

  committed
  ae51834

  Copy full SHA for ae51834

Commits on Oct 21, 2024

• feat: setup basic lean-python interop

  Show description for a644ff6
  govereau

  committed
  a644ff6

  Copy full SHA for a644ff6