oak-lean 0.0.11

Lean theorem prover language parser with support for dependent types and formal verification.
Documentation
1
2
3
4
5
6
7
# Lean Language


Lean language definition.

Defines the core structure for the Lean language, implementing the oak-core Language trait.

This module provides lean language functionality for the Oaks project.