A proof of concept for a theorem prover for DCEC reasoning
Primary LanguageC++
No one’s star this repository yet.