/DarkLogic

C++ library for Demonstrations of Theorems in Classical Logic

Primary LanguageC++MIT LicenseMIT

Stargazers