sirmarcis/DCECProver
An Exact Theorem Prover for a First-Order Modal Logic
backup of my flies
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
An Exact Theorem Prover for a First-Order Modal Logic
Public repository.