oak-lean 0.0.11

Lean theorem prover language parser with support for dependent types and formal verification.
Documentation 
1
2
3

# Lean Builder


This module provides lean builder functionality for the Oaks project.