oak-lean 0.0.11

Lean theorem prover language parser with support for dependent types and formal verification.

1
2
3

# Lean Lsp


This module provides lean lsp functionality for the Oaks project.