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

mod lexer;

#[test]
fn ready() {
    println!("it works!")
}