thiagomael/proof-assistants-poc
Proof of Concept to help choosing a proof assistant to formalize ReAna-SPL.
Coq
Stargazers
No one’s star this repository yet.
Proof of Concept to help choosing a proof assistant to formalize ReAna-SPL.
Coq
No one’s star this repository yet.