Skip to content
[Jenkins]Jenkins
log in
Builds
No builds

Workspace of logicmoo_workspace on Built-In Node

logicmoo_workspace / packs_sys / logicmoo_base / prolog / logicmoo / tptp / leancop /
def_mm.plOct 10, 2021, 7:14:07 AM7.16 KiB
eleancop.shOct 10, 2021, 7:14:07 AM4.94 KiB
leancop_main.plOct 10, 2021, 7:14:07 AM2.61 KiB
leancop_proof.plOct 10, 2021, 7:14:07 AM7.70 KiB
leancop_tptp2.plOct 10, 2021, 7:14:07 AM5.10 KiB
leancop.shOct 10, 2021, 7:14:07 AM4.95 KiB
leancop21_sic.plOct 10, 2021, 7:14:07 AM3.31 KiB
leancop21_swi.plOct 10, 2021, 7:14:07 AM3.21 KiB
leancop21.plOct 10, 2021, 7:14:07 AM3.05 KiB
ReadMe_leancopOct 10, 2021, 7:14:07 AM2.17 KiB