oak-lean-0.0.2
Platform
Feature flags

docs.rs

Rust

oak-lean 0.0.2

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

Crate
Source
Builds
Feature flags

src
tests
.cargo_vcs_info.json
Cargo.lock
Cargo.toml
Cargo.toml.orig
package.json
readme.md