Skip to content

Declaration information extraction#119

Open
augustepoiroux wants to merge 33 commits into
leanprover-community:masterfrom
augustepoiroux:declaration-extraction
Open

Declaration information extraction#119
augustepoiroux wants to merge 33 commits into
leanprover-community:masterfrom
augustepoiroux:declaration-extraction

Commits

Commits on Jul 16, 2026