Logic Theorist

From MaRDI portal


MaRDI QIDQ33139swMATHFDO


Official website https://github.com/theoremprover-museum/logic-theorist

Source code repository https://github.com/theoremprover-museum/logic-theorist






Cited in
(1)


This page was built for software: Logic Theorist

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Logic_Theorist&oldid=56323473"
Powered by MediaWiki