Jogo27/Encyclopedia
An Open Encyclopedia of Proof Systems
Research papers on logic
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
An Open Encyclopedia of Proof Systems
GSoC 2012 project on SAT proof compression