Skip to content

Add Lake parser for Lean 4 packages#28

Merged
andrew merged 1 commit into
mainfrom
add-lake-parser
Apr 28, 2026
Merged

Add Lake parser for Lean 4 packages#28
andrew merged 1 commit into
mainfrom
add-lake-parser

Add Lake parser for Lean 4 packages

5a1a17b
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar