Skip to content

Merge branch 'master' of github.com:leanprover/lean4export into joach…

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

feat: add a parser #17

Merge branch 'master' of github.com:leanprover/lean4export into joach…
20a6d65
Select commit
Loading
Failed to load commit list.
build
succeeded Feb 5, 2026 in 47s