Skip to contentWorkspace of logicmoo_workspace on Built-In Node
| caching.pl | Oct 10, 2021, 7:14:07 AM | 1.05 KiB | |
| inf_closure_atomic.pl | Oct 10, 2021, 7:14:07 AM | 2.00 KiB | |
| inf_closure_x_free.pl | Oct 10, 2021, 7:14:07 AM | 2.74 KiB | |
| inf_closure.pl | Oct 10, 2021, 7:14:07 AM | 1.73 KiB | |
| no_caching.pl | Oct 10, 2021, 7:14:07 AM | 471 B | |
| no_output.pl | Oct 10, 2021, 7:14:07 AM | 261 B | |
| normalise.pl | Oct 10, 2021, 7:14:07 AM | 12.12 KiB | |
| output.pl | Oct 10, 2021, 7:14:07 AM | 329 B | |
| pdl_dGM_bcs.pl | Oct 10, 2021, 7:14:07 AM | 15.32 KiB | |
| pdl_dGM_fcs.pl | Oct 10, 2021, 7:14:07 AM | 15.34 KiB | |
| pdl_dGM_nd.pl | Oct 10, 2021, 7:14:07 AM | 15.15 KiB | |
| pdl_dGM.pl | Oct 10, 2021, 7:14:07 AM | 15.72 KiB | |
| pdl_tableau.pl | Oct 10, 2021, 7:14:07 AM | 4.02 KiB | |
| pdlProver.pl | Feb 7, 2022, 10:23:21 AM | 5.76 KiB | |
| problems.pl | Oct 10, 2021, 7:14:07 AM | 29.79 KiB | |
| prover.pl | Oct 10, 2021, 7:14:07 AM | 38.46 KiB | |
| README | Oct 10, 2021, 7:14:07 AM | 185 B | |
| settings.pl | Oct 10, 2021, 7:14:07 AM | 2.52 KiB | |
| testing.pl | Oct 10, 2021, 7:14:07 AM | 5.90 KiB | |
|