Skip to content

Add lean4-lsp: Lean 4 language server for theorem proving

c1c9f31
Select commit
Loading
Failed to load commit list.
Open

Add lean4-lsp: Lean 4 language server #93

Add lean4-lsp: Lean 4 language server for theorem proving
c1c9f31
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs