oak-lean 0.0.11

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

1
2
3

# Lean Ast


This module provides lean ast functionality for the Oaks project.