oak-coq 0.0.11

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

1
2

#![doc = include_str!("readme.md")]
pub struct CoqFormatter;