GitHub repository: BlackWalker01/DarkLogic
Primary language: C++
Description: C++ library for Demonstrations of Theorems in Classical Logic