Skip to content

Add Lean language support

3e54d9a
Select commit
Loading
Failed to load commit list.
Open

Add Lean language indexing with optional LSP resolution #548

Add Lean language support
3e54d9a
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs