Skip to contentWorkspace of logicmoo_workspace on Built-In Node
| bin |
| tptp |
| advisor_lean.pl | Sep 28, 2021, 9:41:26 AM | 13.40 KiB | |
| AIAdvise.pm | Sep 28, 2021, 9:41:26 AM | 26.04 KiB | |
| browserefs.cgi | Sep 28, 2021, 9:41:26 AM | 1.87 KiB | |
| getrefs.pm | Sep 28, 2021, 9:41:26 AM | 1.02 KiB | |
| InitAdv.pl | Sep 28, 2021, 9:41:26 AM | 970 B | |
| LearnSolve.sh | Sep 28, 2021, 9:41:26 AM | 266 B | |
| MizAR.cgi | Sep 28, 2021, 9:41:26 AM | 35.73 KiB | |
| MizARconfig.pl | Sep 28, 2021, 9:41:26 AM | 78 B | |
| MPTPNames.pm | Sep 28, 2021, 9:41:26 AM | 5.34 KiB | |
| showby.cgi | Sep 28, 2021, 9:41:26 AM | 17.55 KiB | |
| showtmpfile.cgi | Sep 28, 2021, 9:41:26 AM | 1.45 KiB | |
|