/coq_toy_process_algebra

Example of a basic Coq proof for a property on a toy process algebra

Primary LanguageHTMLApache License 2.0Apache-2.0

Stargazers

No one’s star this repository yet.