Activity for proof-logichttps://sourceforge.net/p/proof-logic/activity/Recent activity for proof-logicenMon, 01 Mar 2021 18:14:02 -0000proof-logic updated /pl-v8.tgzhttps://sourceforge.nethttps%3A//sourceforge.net/projects/proof-logic/files/pl-v8.tgz/downloadproof-logicMon, 01 Mar 2021 18:14:02 -0000https://sourceforge.net/projects/proof-logic/files/pl-v8.tgz/downloadproof-logic updated /pl-v8.tgzhttps://sourceforge.nethttps%3A//sourceforge.net/projects/proof-logic/files/pl-v8.tgz/downloadproof-logicSun, 28 Feb 2021 18:04:04 -0000https://sourceforge.net/projects/proof-logic/files/pl-v8.tgz/downloadproof-logic released /pl-v8.tgzhttps://sourceforge.nethttps%3A//sourceforge.net/projects/proof-logic/files/pl-v8.tgz/downloadproof-logicSun, 28 Feb 2021 08:50:02 -0000https://sourceforge.net/projects/proof-logic/files/pl-v8.tgz/downloadproof-logic released /fpl.tgzhttps://sourceforge.nethttps%3A//sourceforge.net/projects/proof-logic/files/fpl.tgz/downloadproof-logicTue, 23 Feb 2021 21:46:03 -0000https://sourceforge.net/projects/proof-logic/files/fpl.tgz/downloadproof-logic released /pl-new.tgzhttps://sourceforge.nethttps%3A//sourceforge.net/projects/proof-logic/files/pl-new.tgz/downloadproof-logicFri, 19 Feb 2021 17:51:02 -0000https://sourceforge.net/projects/proof-logic/files/pl-new.tgz/downloadproof-logic released /pl1.tgzhttps://sourceforge.nethttps%3A//sourceforge.net/projects/proof-logic/files/pl1.tgz/downloadproof-logicFri, 05 Feb 2021 18:54:02 -0000https://sourceforge.net/projects/proof-logic/files/pl1.tgz/download