oak-coq 0.0.11

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

# Coq LSP Formatter


This module provides coq lsp formatter functionality for the Oaks project.