3 ms·
Some https://github.com/theoremprover-museum/logic-theorist https://github.com/theoremprover-museum/logic-theorist
by Immortalin 8y ago
Some
https://github.com/theoremprover-museum/logic-theorist https://github.com/theoremprover-museum/logic-theorist