logic-TPTP

Uploads

• 0.6.0.0-0 uploaded 2024-11-09T06:29:18.000Z by MasahiroSakai. latest
• 0.5.1.0-0 uploaded 2024-09-04T15:12:07.000Z by MasahiroSakai.
• 0.2.0-2 uploaded 2023-06-11T14:33:25.000Z by MasahiroSakai.
• 0.2.0.1-2 uploaded 2023-06-11T14:33:00.000Z by MasahiroSakai.
• 0.2.0.3-2 uploaded 2023-06-11T14:32:34.000Z by MasahiroSakai.
• 0.2.0.4-2 uploaded 2023-06-11T14:32:06.000Z by MasahiroSakai.
• 0.2.0.6-2 uploaded 2023-06-11T14:31:45.000Z by MasahiroSakai.
• 0.2.0.7-2 uploaded 2023-06-11T14:31:31.000Z by MasahiroSakai.
• 0.3.0.0-2 uploaded 2023-06-11T14:31:13.000Z by MasahiroSakai.
• 0.3.0.1-2 uploaded 2023-06-11T14:30:47.000Z by MasahiroSakai.
• 0.3.0.2-2 uploaded 2023-06-11T14:30:30.000Z by MasahiroSakai.
• 0.4.0.0-2 uploaded 2023-06-11T14:29:58.000Z by MasahiroSakai.
• 0.4.1.0-2 uploaded 2023-06-11T14:29:36.000Z by MasahiroSakai.
• 0.4.2.0-2 uploaded 2023-06-11T14:29:08.000Z by MasahiroSakai.
• 0.4.3.0-2 uploaded 2023-06-11T14:28:48.000Z by MasahiroSakai.
• 0.4.4.0-2 uploaded 2023-06-11T14:28:19.000Z by MasahiroSakai.
• 0.4.5.0-2 uploaded 2023-06-11T14:27:11.000Z by MasahiroSakai.
• 0.4.6.0-2 uploaded 2023-06-11T14:26:49.000Z by MasahiroSakai.
• 0.4.7.0-2 uploaded 2023-06-11T14:26:28.000Z by MasahiroSakai.
• 0.5.0.0-4 uploaded 2023-06-11T14:24:07.000Z by MasahiroSakai.
• 0.5.0.0-3 uploaded 2023-06-10T14:21:45.000Z by MasahiroSakai.
• 0.1-1 uploaded 2023-06-10T12:27:13.000Z by MasahiroSakai.
• 0.2.0-1 uploaded 2023-06-10T12:26:34.000Z by MasahiroSakai.
• 0.2.0.1-1 uploaded 2023-06-10T12:26:13.000Z by MasahiroSakai.
• 0.2.0.3-1 uploaded 2023-06-10T12:25:45.000Z by MasahiroSakai.
• 0.2.0.4-1 uploaded 2023-06-10T12:25:19.000Z by MasahiroSakai.
• 0.2.0.6-1 uploaded 2023-06-10T12:24:49.000Z by MasahiroSakai.
• 0.2.0.7-1 uploaded 2023-06-10T12:24:19.000Z by MasahiroSakai.
• 0.3.0.0-1 uploaded 2023-06-10T12:23:44.000Z by MasahiroSakai.
• 0.3.0.1-1 uploaded 2023-06-10T12:23:20.000Z by MasahiroSakai.
• 0.3.0.2-1 uploaded 2023-06-10T12:22:32.000Z by MasahiroSakai.
• 0.4.0.0-1 uploaded 2023-06-10T12:22:00.000Z by MasahiroSakai.
• 0.4.1.0-1 uploaded 2023-06-10T12:21:25.000Z by MasahiroSakai.
• 0.4.2.0-1 uploaded 2023-06-10T12:20:43.000Z by MasahiroSakai.
• 0.4.3.0-1 uploaded 2023-06-10T12:19:50.000Z by MasahiroSakai.
• 0.4.4.0-1 uploaded 2023-06-10T12:19:09.000Z by MasahiroSakai.
• 0.4.5.0-1 uploaded 2023-06-10T12:18:05.000Z by MasahiroSakai.
• 0.4.6.0-1 uploaded 2023-06-10T12:16:35.000Z by MasahiroSakai.
• 0.4.7.0-1 uploaded 2023-06-10T12:16:06.000Z by MasahiroSakai.
• 0.5.0.0-2 uploaded 2023-06-10T12:15:39.000Z by MasahiroSakai.
• 0.5.0.0-1 uploaded 2020-12-29T05:43:51.000Z by MasahiroSakai.
• 0.5.0.0-0 uploaded 2020-02-28T12:17:14.000Z by MasahiroSakai.
• 0.4.7.0-0 uploaded 2020-02-16T11:28:34.000Z by MasahiroSakai.
• 0.4.6.0-0 uploaded 2018-07-21T21:23:16.000Z by DanielSchuessler.
• 0.4.5.0-0 uploaded 2017-09-02T16:38:22.000Z by DanielSchuessler.
• 0.4.4.0-0 uploaded 2016-01-24T17:42:27.000Z by DanielSchuessler.
• 0.4.3.0-0 uploaded 2015-05-17T19:44:55.000Z by DanielSchuessler.
• 0.4.2.0-0 uploaded 2014-08-10T20:51:55.000Z by DanielSchuessler.
• 0.4.1.0-0 uploaded 2014-05-24T02:14:52.000Z by DanielSchuessler.
• 0.4.0.0-0 uploaded 2012-08-27T19:18:58.000Z by DanielSchuessler.
• 0.3.0.2-0 uploaded 2012-08-27T14:41:49.000Z by DanielSchuessler.
• 0.3.0.1-0 uploaded 2011-11-07T23:01:27.000Z by KiYungAhn.
• 0.3.0.0-0 uploaded 2011-10-14T10:51:51.000Z by DanielSchuessler.
• 0.2.0.7-0 uploaded 2011-01-22T14:59:26.000Z by KiYungAhn.
• 0.2.0.6-0 uploaded 2011-01-22T14:56:40.000Z by KiYungAhn.
• 0.2.0.4-0 uploaded 2010-10-13T15:19:13.000Z by KiYungAhn.
• 0.2.0.3-0 uploaded 2010-09-22T18:46:25.000Z by KiYungAhn.
• 0.2.0.1-0 uploaded 2010-07-20T00:01:05.000Z by KiYungAhn.
• 0.2.0-0 uploaded 2009-05-03T18:59:32.000Z by DanielSchuessler.
• 0.1-0 uploaded 2009-04-28T13:38:28.000Z by DanielSchuessler.

Uploaders

• DanielSchuessler
• KiYungAhn
• MasahiroSakai