├── .gitignore ├── FOLIO_30_problem_test ├── test_0_0.lean ├── test_0_1.lean ├── test_0_2.lean ├── test_2_0.lean ├── test_3_0.lean ├── test_3_1.lean ├── test_3_2.lean ├── test_3_3.lean ├── test_3_4.lean ├── test_4_0.lean └── test_4_1.lean ├── FOLIO_30_problem_test_all ├── test_0_0.lean ├── test_10_0.lean ├── test_10_1.lean ├── test_10_2.lean ├── test_11_0.lean ├── test_11_1.lean ├── test_11_2.lean ├── test_12_0.lean ├── test_12_1.lean ├── test_12_2.lean ├── test_13_0.lean ├── test_13_1.lean ├── test_13_2.lean ├── test_14_0.lean ├── test_15_0.lean ├── test_15_1.lean ├── test_15_2.lean ├── test_16_0.lean ├── test_16_1.lean ├── test_16_2.lean ├── test_17_0.lean ├── test_17_1.lean ├── test_17_2.lean ├── test_18_0.lean ├── test_18_1.lean ├── test_18_2.lean ├── test_19_0.lean ├── test_19_2.lean ├── test_1_0.lean ├── test_1_1.lean ├── test_1_2.lean ├── test_20_0.lean ├── test_20_1.lean ├── test_21_0.lean ├── test_21_1.lean ├── test_21_2.lean ├── test_22_0.lean ├── test_22_1.lean ├── test_22_2.lean ├── test_23_0.lean ├── test_23_1.lean ├── test_24_0.lean ├── test_24_1.lean ├── test_24_2.lean ├── test_25_0.lean ├── test_25_1.lean ├── test_26_0.lean ├── test_26_1.lean ├── test_26_2.lean ├── test_27_0.lean ├── test_27_1.lean ├── test_27_2.lean ├── test_27_3.lean ├── test_27_4.lean ├── test_28_0.lean ├── test_28_1.lean ├── test_28_2.lean ├── test_29_0.lean ├── test_2_0.lean ├── test_2_1.lean ├── test_2_2.lean ├── test_30_0.lean ├── test_30_1.lean ├── test_30_2.lean ├── test_31_0.lean ├── test_31_1.lean ├── test_32_0.lean ├── test_32_1.lean ├── test_32_2.lean ├── test_33_0.lean ├── test_33_1.lean ├── test_33_2.lean ├── test_34_0.lean ├── test_34_1.lean ├── test_35_0.lean ├── test_35_1.lean ├── test_35_2.lean ├── test_36_0.lean ├── test_36_1.lean ├── test_36_2.lean ├── test_37_0.lean ├── test_37_1.lean ├── test_37_2.lean ├── test_38_0.lean ├── test_39_0.lean ├── test_39_1.lean ├── test_39_2.lean ├── test_3_0.lean ├── test_3_1.lean ├── test_3_2.lean ├── test_40_0.lean ├── test_40_1.lean ├── test_40_2.lean ├── test_41_1.lean ├── test_41_2.lean ├── test_42_0.lean ├── test_43_0.lean ├── test_43_1.lean ├── test_43_2.lean ├── test_44_0.lean ├── test_44_1.lean ├── test_44_2.lean ├── test_45_0.lean ├── test_45_1.lean ├── test_45_2.lean ├── test_45_3.lean ├── test_46_0.lean ├── test_48_0.lean ├── test_48_1.lean ├── test_49_0.lean ├── test_49_1.lean ├── test_49_2.lean ├── test_4_0.lean ├── test_4_1.lean ├── test_4_2.lean ├── test_50_0.lean ├── test_50_1.lean ├── test_51_0.lean ├── test_51_1.lean ├── test_51_2.lean ├── test_51_3.lean ├── test_51_4.lean ├── test_52_0.lean ├── test_52_1.lean ├── test_52_2.lean ├── test_53_0.lean ├── test_53_1.lean ├── test_53_2.lean ├── test_54_0.lean ├── test_55_0.lean ├── test_55_1.lean ├── test_55_2.lean ├── test_55_3.lean ├── test_56_0.lean ├── test_56_1.lean ├── test_58_0.lean ├── test_58_1.lean ├── test_58_2.lean ├── test_59_0.lean ├── test_59_1.lean ├── test_59_2.lean ├── test_5_0.lean ├── test_5_1.lean ├── test_5_2.lean ├── test_5_3.lean ├── test_5_4.lean ├── test_61_0.lean ├── test_61_1.lean ├── test_61_2.lean ├── test_62_0.lean ├── test_62_1.lean ├── test_62_2.lean ├── test_63_0.lean ├── test_64_0.lean ├── test_64_1.lean ├── test_65_0.lean ├── test_65_1.lean ├── test_65_2.lean ├── test_67_0.lean ├── test_67_1.lean ├── test_67_2.lean ├── test_67_3.lean ├── test_67_4.lean ├── test_68_0.lean ├── test_69_0.lean ├── test_69_1.lean ├── test_6_0.lean ├── test_6_1.lean ├── test_6_2.lean ├── test_70_0.lean ├── test_70_1.lean ├── test_70_2.lean ├── test_71_0.lean ├── test_71_1.lean ├── test_71_2.lean ├── test_71_3.lean ├── test_71_4.lean ├── test_7_0.lean ├── test_7_1.lean ├── test_7_2.lean ├── test_8_0.lean ├── test_9_0.lean ├── test_9_1.lean └── test_9_2.lean ├── FOLIO_30_problem_test_all_correct ├── test_10_1.lean ├── test_10_6.lean ├── test_11_1.lean ├── test_11_3.lean ├── test_11_6.lean ├── test_12_3.lean ├── test_12_6.lean ├── test_13_1.lean ├── test_13_6.lean ├── test_15_1.lean ├── test_15_4.lean ├── test_16_4.lean ├── test_16_5.lean ├── test_17_2.lean ├── test_17_5.lean ├── test_18_1.lean ├── test_18_4.lean ├── test_19_2.lean ├── test_19_5.lean ├── test_1_5.lean ├── test_21_4.lean ├── test_21_5.lean ├── test_22_1.lean ├── test_22_5.lean ├── test_23_1.lean ├── test_23_4.lean ├── test_24_4.lean ├── test_24_5.lean ├── test_25_1.lean ├── test_25_4.lean ├── test_26_3.lean ├── test_26_6.lean ├── test_27_10.lean ├── test_27_2.lean ├── test_27_3.lean ├── test_27_7.lean ├── test_28_3.lean ├── test_28_6.lean ├── test_29_1.lean ├── test_2_1.lean ├── test_30_1.lean ├── test_30_3.lean ├── test_31_1.lean ├── test_31_4.lean ├── test_32_2.lean ├── test_32_5.lean ├── test_33_4.lean ├── test_33_5.lean ├── test_34_3.lean ├── test_35_4.lean ├── test_35_5.lean ├── test_36_1.lean ├── test_36_3.lean ├── test_36_6.lean ├── test_37_4.lean ├── test_37_5.lean ├── test_39_1.lean ├── test_39_6.lean ├── test_3_1.lean ├── test_3_4.lean ├── test_40_2.lean ├── test_40_3.lean ├── test_41_3.lean ├── test_41_6.lean ├── test_43_4.lean ├── test_43_5.lean ├── test_44_3.lean ├── test_44_6.lean ├── test_45_2.lean ├── test_45_3.lean ├── test_45_7.lean ├── test_46_1.lean ├── test_48_1.lean ├── test_48_4.lean ├── test_49_4.lean ├── test_49_5.lean ├── test_4_1.lean ├── test_4_6.lean ├── test_50_1.lean ├── test_51_10.lean ├── test_51_5.lean ├── test_51_7.lean ├── test_52_1.lean ├── test_53_4.lean ├── test_53_5.lean ├── test_55_2.lean ├── test_55_3.lean ├── test_55_5.lean ├── test_56_1.lean ├── test_58_4.lean ├── test_58_5.lean ├── test_59_1.lean ├── test_59_3.lean ├── test_59_6.lean ├── test_5_10.lean ├── test_5_5.lean ├── test_5_7.lean ├── test_61_4.lean ├── test_61_5.lean ├── test_62_4.lean ├── test_62_5.lean ├── test_63_2.lean ├── test_64_2.lean ├── test_64_4.lean ├── test_65_3.lean ├── test_65_6.lean ├── test_67_10.lean ├── test_67_3.lean ├── test_67_6.lean ├── test_67_8.lean ├── test_68_2.lean ├── test_69_2.lean ├── test_6_1.lean ├── test_6_4.lean ├── test_70_4.lean ├── test_70_5.lean ├── test_71_2.lean ├── test_71_4.lean ├── test_71_6.lean ├── test_7_1.lean ├── test_8_2.lean ├── test_8_3.lean ├── test_9_3.lean └── test_9_6.lean ├── LICENSE ├── ProofWriter_test_all ├── config.json ├── output_0.json ├── output_1.json ├── output_10.json ├── output_101.json ├── output_102.json ├── output_103.json ├── output_104.json ├── output_105.json ├── output_106.json ├── output_107.json ├── output_108.json ├── output_109.json ├── output_11.json ├── output_110.json ├── output_111.json ├── output_112.json ├── output_113.json ├── output_114.json ├── output_115.json ├── output_116.json ├── output_117.json ├── output_118.json ├── output_119.json ├── output_12.json ├── output_120.json ├── output_121.json ├── output_122.json ├── output_123.json ├── output_124.json ├── output_125.json ├── output_126.json ├── output_127.json ├── output_128.json ├── output_129.json ├── output_13.json ├── output_130.json ├── output_131.json ├── output_132.json ├── output_133.json ├── output_134.json ├── output_135.json ├── output_136.json ├── output_137.json ├── output_138.json ├── output_139.json ├── output_14.json ├── output_140.json ├── output_141.json ├── output_142.json ├── output_143.json ├── output_144.json ├── output_145.json ├── output_146.json ├── output_147.json ├── output_148.json ├── output_149.json ├── output_15.json ├── output_150.json ├── output_151.json ├── output_152.json ├── output_153.json ├── output_154.json ├── output_155.json ├── output_156.json ├── output_157.json ├── output_158.json ├── output_159.json ├── output_16.json ├── output_160.json ├── output_161.json ├── output_162.json ├── output_163.json ├── output_164.json ├── output_165.json ├── output_166.json ├── output_167.json ├── output_168.json ├── output_169.json ├── output_17.json ├── output_170.json ├── output_171.json ├── output_172.json ├── output_173.json ├── output_174.json ├── output_175.json ├── output_176.json ├── output_177.json ├── output_178.json ├── output_179.json ├── output_18.json ├── output_180.json ├── output_181.json ├── output_182.json ├── output_183.json ├── output_184.json ├── output_185.json ├── output_186.json ├── output_187.json ├── output_188.json ├── output_189.json ├── output_19.json ├── output_190.json ├── output_191.json ├── output_192.json ├── output_193.json ├── output_194.json ├── output_195.json ├── output_196.json ├── output_197.json ├── output_198.json ├── output_199.json ├── output_2.json ├── output_20.json ├── output_200.json ├── output_201.json ├── output_202.json ├── output_203.json ├── output_204.json ├── output_205.json ├── output_206.json ├── output_207.json ├── output_208.json ├── output_209.json ├── output_21.json ├── output_210.json ├── output_211.json ├── output_212.json ├── output_213.json ├── output_214.json ├── output_215.json ├── output_216.json ├── output_218.json ├── output_219.json ├── output_22.json ├── output_220.json ├── output_221.json ├── output_222.json ├── output_223.json ├── output_224.json ├── output_225.json ├── output_226.json ├── output_227.json ├── output_228.json ├── output_229.json ├── output_23.json ├── output_230.json ├── output_231.json ├── output_232.json ├── output_233.json ├── output_234.json ├── output_235.json ├── output_236.json ├── output_237.json ├── output_238.json ├── output_239.json ├── output_24.json ├── output_240.json ├── output_241.json ├── output_242.json ├── output_243.json ├── output_244.json ├── output_245.json ├── output_246.json ├── output_247.json ├── output_248.json ├── output_249.json ├── output_25.json ├── output_250.json ├── output_251.json ├── output_252.json ├── output_253.json ├── output_254.json ├── output_255.json ├── output_256.json ├── output_257.json ├── output_258.json ├── output_259.json ├── output_26.json ├── output_260.json ├── output_261.json ├── output_262.json ├── output_263.json ├── output_264.json ├── output_265.json ├── output_266.json ├── output_267.json ├── output_268.json ├── output_269.json ├── output_27.json ├── output_270.json ├── output_271.json ├── output_272.json ├── output_273.json ├── output_274.json ├── output_275.json ├── output_276.json ├── output_277.json ├── output_278.json ├── output_279.json ├── output_28.json ├── output_280.json ├── output_281.json ├── output_282.json ├── output_283.json ├── output_284.json ├── output_285.json ├── output_286.json ├── output_287.json ├── output_288.json ├── output_289.json ├── output_29.json ├── output_290.json ├── output_291.json ├── output_292.json ├── output_293.json ├── output_294.json ├── output_295.json ├── output_296.json ├── output_298.json ├── output_299.json ├── output_3.json ├── output_30.json ├── output_300.json ├── output_301.json ├── output_302.json ├── output_303.json ├── output_304.json ├── output_305.json ├── output_306.json ├── output_307.json ├── output_308.json ├── output_309.json ├── output_31.json ├── output_310.json ├── output_311.json ├── output_312.json ├── output_313.json ├── output_314.json ├── output_315.json ├── output_316.json ├── output_317.json ├── output_318.json ├── output_319.json ├── output_32.json ├── output_320.json ├── output_321.json ├── output_322.json ├── output_323.json ├── output_324.json ├── output_325.json ├── output_326.json ├── output_327.json ├── output_328.json ├── output_329.json ├── output_33.json ├── output_330.json ├── output_331.json ├── output_332.json ├── output_333.json ├── output_334.json ├── output_335.json ├── output_336.json ├── output_337.json ├── output_338.json ├── output_339.json ├── output_34.json ├── output_340.json ├── output_341.json ├── output_342.json ├── output_343.json ├── output_344.json ├── output_345.json ├── output_346.json ├── output_347.json ├── output_348.json ├── output_349.json ├── output_35.json ├── output_350.json ├── output_351.json ├── output_352.json ├── output_353.json ├── output_354.json ├── output_355.json ├── output_356.json ├── output_357.json ├── output_358.json ├── output_359.json ├── output_36.json ├── output_360.json ├── output_361.json ├── output_362.json ├── output_363.json ├── output_364.json ├── output_365.json ├── output_366.json ├── output_367.json ├── output_368.json ├── output_369.json ├── output_37.json ├── output_370.json ├── output_371.json ├── output_372.json ├── output_373.json ├── output_374.json ├── output_375.json ├── output_376.json ├── output_377.json ├── output_378.json ├── output_379.json ├── output_38.json ├── output_380.json ├── output_381.json ├── output_382.json ├── output_383.json ├── output_384.json ├── output_385.json ├── output_386.json ├── output_387.json ├── output_388.json ├── output_389.json ├── output_39.json ├── output_390.json ├── output_391.json ├── output_392.json ├── output_393.json ├── output_394.json ├── output_395.json ├── output_396.json ├── output_397.json ├── output_398.json ├── output_399.json ├── output_4.json ├── output_40.json ├── output_400.json ├── output_401.json ├── output_402.json ├── output_404.json ├── output_405.json ├── output_406.json ├── output_407.json ├── output_408.json ├── output_409.json ├── output_41.json ├── output_411.json ├── output_412.json ├── output_413.json ├── output_414.json ├── output_415.json ├── output_416.json ├── output_417.json ├── output_418.json ├── output_419.json ├── output_42.json ├── output_420.json ├── output_421.json ├── output_422.json ├── output_423.json ├── output_424.json ├── output_425.json ├── output_426.json ├── output_427.json ├── output_428.json ├── output_429.json ├── output_43.json ├── output_430.json ├── output_431.json ├── output_432.json ├── output_433.json ├── output_434.json ├── output_435.json ├── output_436.json ├── output_437.json ├── output_438.json ├── output_439.json ├── output_44.json ├── output_440.json ├── output_441.json ├── output_442.json ├── output_443.json ├── output_444.json ├── output_446.json ├── output_447.json ├── output_448.json ├── output_449.json ├── output_45.json ├── output_450.json ├── output_451.json ├── output_452.json ├── output_453.json ├── output_454.json ├── output_455.json ├── output_456.json ├── output_457.json ├── output_458.json ├── output_459.json ├── output_46.json ├── output_460.json ├── output_461.json ├── output_462.json ├── output_463.json ├── output_464.json ├── output_465.json ├── output_466.json ├── output_467.json ├── output_468.json ├── output_469.json ├── output_47.json ├── output_470.json ├── output_471.json ├── output_472.json ├── output_473.json ├── output_474.json ├── output_475.json ├── output_476.json ├── output_477.json ├── output_478.json ├── output_479.json ├── output_48.json ├── output_480.json ├── output_481.json ├── output_482.json ├── output_483.json ├── output_484.json ├── output_485.json ├── output_486.json ├── output_487.json ├── output_488.json ├── output_489.json ├── output_49.json ├── output_490.json ├── output_491.json ├── output_492.json ├── output_493.json ├── output_494.json ├── output_495.json ├── output_496.json ├── output_497.json ├── output_498.json ├── output_499.json ├── output_5.json ├── output_50.json ├── output_500.json ├── output_502.json ├── output_503.json ├── output_504.json ├── output_505.json ├── output_506.json ├── output_507.json ├── output_508.json ├── output_509.json ├── output_51.json ├── output_510.json ├── output_511.json ├── output_512.json ├── output_513.json ├── output_514.json ├── output_515.json ├── output_516.json ├── output_517.json ├── output_518.json ├── output_519.json ├── output_52.json ├── output_520.json ├── output_521.json ├── output_522.json ├── output_523.json ├── output_524.json ├── output_525.json ├── output_526.json ├── output_527.json ├── output_528.json ├── output_529.json ├── output_53.json ├── output_530.json ├── output_531.json ├── output_532.json ├── output_533.json ├── output_534.json ├── output_535.json ├── output_537.json ├── output_538.json ├── output_539.json ├── output_54.json ├── output_540.json ├── output_541.json ├── output_543.json ├── output_544.json ├── output_545.json ├── output_546.json ├── output_547.json ├── output_548.json ├── output_549.json ├── output_55.json ├── output_550.json ├── output_551.json ├── output_552.json ├── output_553.json ├── output_554.json ├── output_555.json ├── output_556.json ├── output_557.json ├── output_558.json ├── output_559.json ├── output_56.json ├── output_560.json ├── output_561.json ├── output_562.json ├── output_563.json ├── output_564.json ├── output_565.json ├── output_566.json ├── output_567.json ├── output_568.json ├── output_569.json ├── output_57.json ├── output_570.json ├── output_571.json ├── output_572.json ├── output_573.json ├── output_574.json ├── output_575.json ├── output_576.json ├── output_577.json ├── output_578.json ├── output_579.json ├── output_58.json ├── output_580.json ├── output_581.json ├── output_582.json ├── output_583.json ├── output_584.json ├── output_585.json ├── output_586.json ├── output_587.json ├── output_588.json ├── output_589.json ├── output_59.json ├── output_590.json ├── output_591.json ├── output_592.json ├── output_593.json ├── output_594.json ├── output_595.json ├── output_596.json ├── output_597.json ├── output_598.json ├── output_599.json ├── output_6.json ├── output_60.json ├── output_61.json ├── output_63.json ├── output_64.json ├── output_65.json ├── output_66.json ├── output_67.json ├── output_68.json ├── output_69.json ├── output_7.json ├── output_70.json ├── output_71.json ├── output_72.json ├── output_73.json ├── output_74.json ├── output_75.json ├── output_76.json ├── output_77.json ├── output_78.json ├── output_79.json ├── output_8.json ├── output_80.json ├── output_81.json ├── output_82.json ├── output_83.json ├── output_84.json ├── output_85.json ├── output_86.json ├── output_87.json ├── output_88.json ├── output_89.json ├── output_9.json ├── output_90.json ├── output_91.json ├── output_92.json ├── output_93.json ├── output_94.json ├── output_95.json ├── output_96.json ├── output_97.json ├── output_98.json ├── output_99.json └── prompt.txt ├── ProofWriter_test_all_lean ├── test_0_0.lean ├── test_101_0.lean ├── test_102_0.lean ├── test_103_0.lean ├── test_104_0.lean ├── test_105_0.lean ├── test_106_0.lean ├── test_107_0.lean ├── test_108_0.lean ├── test_109_0.lean ├── test_10_0.lean ├── test_110_0.lean ├── test_111_0.lean ├── test_113_0.lean ├── test_114_0.lean ├── test_115_0.lean ├── test_116_0.lean ├── test_117_0.lean ├── test_118_0.lean ├── test_119_0.lean ├── test_11_0.lean ├── test_120_0.lean ├── test_121_0.lean ├── test_122_0.lean ├── test_123_0.lean ├── test_124_0.lean ├── test_125_0.lean ├── test_126_0.lean ├── test_127_0.lean ├── test_128_0.lean ├── test_129_0.lean ├── test_12_0.lean ├── test_130_0.lean ├── test_131_0.lean ├── test_132_0.lean ├── test_133_0.lean ├── test_134_0.lean ├── test_135_0.lean ├── test_136_0.lean ├── test_137_0.lean ├── test_138_0.lean ├── test_139_0.lean ├── test_13_0.lean ├── test_140_0.lean ├── test_141_0.lean ├── test_142_0.lean ├── test_143_0.lean ├── test_144_0.lean ├── test_145_0.lean ├── test_146_0.lean ├── test_147_0.lean ├── test_148_0.lean ├── test_149_0.lean ├── test_14_0.lean ├── test_150_0.lean ├── test_151_0.lean ├── test_152_0.lean ├── test_153_0.lean ├── test_154_0.lean ├── test_155_0.lean ├── test_156_0.lean ├── test_157_0.lean ├── test_158_0.lean ├── test_159_0.lean ├── test_15_0.lean ├── test_160_0.lean ├── test_161_0.lean ├── test_162_0.lean ├── test_163_0.lean ├── test_164_0.lean ├── test_165_0.lean ├── test_166_0.lean ├── test_167_0.lean ├── test_168_0.lean ├── test_169_0.lean ├── test_16_0.lean ├── test_170_0.lean ├── test_171_0.lean ├── test_172_0.lean ├── test_173_0.lean ├── test_175_0.lean ├── test_176_0.lean ├── test_177_0.lean ├── test_178_0.lean ├── test_179_0.lean ├── test_17_0.lean ├── test_180_0.lean ├── test_181_0.lean ├── test_182_0.lean ├── test_183_0.lean ├── test_184_0.lean ├── test_185_0.lean ├── test_186_0.lean ├── test_187_0.lean ├── test_188_0.lean ├── test_189_0.lean ├── test_18_0.lean ├── test_190_0.lean ├── test_191_0.lean ├── test_192_0.lean ├── test_193_0.lean ├── test_194_0.lean ├── test_195_0.lean ├── test_196_0.lean ├── test_197_0.lean ├── test_198_0.lean ├── test_199_0.lean ├── test_19_0.lean ├── test_1_0.lean ├── test_200_0.lean ├── test_201_0.lean ├── test_202_0.lean ├── test_203_0.lean ├── test_204_0.lean ├── test_206_0.lean ├── test_207_0.lean ├── test_208_0.lean ├── test_209_0.lean ├── test_20_0.lean ├── test_210_0.lean ├── test_211_0.lean ├── test_212_0.lean ├── test_213_0.lean ├── test_214_0.lean ├── test_215_0.lean ├── test_216_0.lean ├── test_218_0.lean ├── test_219_0.lean ├── test_21_0.lean ├── test_220_0.lean ├── test_221_0.lean ├── test_222_0.lean ├── test_223_0.lean ├── test_224_0.lean ├── test_225_0.lean ├── test_227_0.lean ├── test_228_0.lean ├── test_229_0.lean ├── test_22_0.lean ├── test_230_0.lean ├── test_231_0.lean ├── test_232_0.lean ├── test_233_0.lean ├── test_234_0.lean ├── test_235_0.lean ├── test_236_0.lean ├── test_237_0.lean ├── test_238_0.lean ├── test_239_0.lean ├── test_23_0.lean ├── test_240_0.lean ├── test_241_0.lean ├── test_242_0.lean ├── test_243_0.lean ├── test_244_0.lean ├── test_245_0.lean ├── test_246_0.lean ├── test_247_0.lean ├── test_248_0.lean ├── test_249_0.lean ├── test_24_0.lean ├── test_250_0.lean ├── test_251_0.lean ├── test_252_0.lean ├── test_253_0.lean ├── test_254_0.lean ├── test_255_0.lean ├── test_256_0.lean ├── test_257_0.lean ├── test_258_0.lean ├── test_259_0.lean ├── test_25_0.lean ├── test_260_0.lean ├── test_261_0.lean ├── test_262_0.lean ├── test_263_0.lean ├── test_264_0.lean ├── test_265_0.lean ├── test_266_0.lean ├── test_267_0.lean ├── test_268_0.lean ├── test_269_0.lean ├── test_26_0.lean ├── test_270_0.lean ├── test_271_0.lean ├── test_272_0.lean ├── test_273_0.lean ├── test_274_0.lean ├── test_275_0.lean ├── test_276_0.lean ├── test_277_0.lean ├── test_278_0.lean ├── test_279_0.lean ├── test_27_0.lean ├── test_280_0.lean ├── test_281_0.lean ├── test_283_0.lean ├── test_284_0.lean ├── test_285_0.lean ├── test_286_0.lean ├── test_287_0.lean ├── test_288_0.lean ├── test_289_0.lean ├── test_28_0.lean ├── test_290_0.lean ├── test_291_0.lean ├── test_292_0.lean ├── test_293_0.lean ├── test_294_0.lean ├── test_295_0.lean ├── test_296_0.lean ├── test_298_0.lean ├── test_299_0.lean ├── test_29_0.lean ├── test_2_0.lean ├── test_300_0.lean ├── test_301_0.lean ├── test_302_0.lean ├── test_303_0.lean ├── test_304_0.lean ├── test_305_0.lean ├── test_306_0.lean ├── test_307_0.lean ├── test_308_0.lean ├── test_309_0.lean ├── test_30_0.lean ├── test_310_0.lean ├── test_311_0.lean ├── test_312_0.lean ├── test_313_0.lean ├── test_314_0.lean ├── test_315_0.lean ├── test_316_0.lean ├── test_317_0.lean ├── test_318_0.lean ├── test_319_0.lean ├── test_31_0.lean ├── test_320_0.lean ├── test_321_0.lean ├── test_322_0.lean ├── test_323_0.lean ├── test_324_0.lean ├── test_325_0.lean ├── test_326_0.lean ├── test_327_0.lean ├── test_328_0.lean ├── test_329_0.lean ├── test_32_0.lean ├── test_330_0.lean ├── test_331_0.lean ├── test_332_0.lean ├── test_333_0.lean ├── test_334_0.lean ├── test_336_0.lean ├── test_337_0.lean ├── test_338_0.lean ├── test_339_0.lean ├── test_33_0.lean ├── test_340_0.lean ├── test_341_0.lean ├── test_342_0.lean ├── test_343_0.lean ├── test_344_0.lean ├── test_345_0.lean ├── test_346_0.lean ├── test_347_0.lean ├── test_349_0.lean ├── test_34_0.lean ├── test_350_0.lean ├── test_351_0.lean ├── test_352_0.lean ├── test_353_0.lean ├── test_354_0.lean ├── test_355_0.lean ├── test_356_0.lean ├── test_357_0.lean ├── test_358_0.lean ├── test_359_0.lean ├── test_35_0.lean ├── test_360_0.lean ├── test_361_0.lean ├── test_362_0.lean ├── test_363_0.lean ├── test_364_0.lean ├── test_365_0.lean ├── test_366_0.lean ├── test_367_0.lean ├── test_368_0.lean ├── test_369_0.lean ├── test_36_0.lean ├── test_370_0.lean ├── test_371_0.lean ├── test_372_0.lean ├── test_373_0.lean ├── test_374_0.lean ├── test_375_0.lean ├── test_376_0.lean ├── test_377_0.lean ├── test_378_0.lean ├── test_379_0.lean ├── test_37_0.lean ├── test_380_0.lean ├── test_381_0.lean ├── test_382_0.lean ├── test_383_0.lean ├── test_384_0.lean ├── test_385_0.lean ├── test_386_0.lean ├── test_387_0.lean ├── test_388_0.lean ├── test_389_0.lean ├── test_38_0.lean ├── test_390_0.lean ├── test_391_0.lean ├── test_392_0.lean ├── test_393_0.lean ├── test_394_0.lean ├── test_395_0.lean ├── test_396_0.lean ├── test_397_0.lean ├── test_398_0.lean ├── test_399_0.lean ├── test_39_0.lean ├── test_3_0.lean ├── test_401_0.lean ├── test_402_0.lean ├── test_404_0.lean ├── test_405_0.lean ├── test_406_0.lean ├── test_407_0.lean ├── test_408_0.lean ├── test_409_0.lean ├── test_40_0.lean ├── test_411_0.lean ├── test_412_0.lean ├── test_413_0.lean ├── test_414_0.lean ├── test_415_0.lean ├── test_416_0.lean ├── test_417_0.lean ├── test_418_0.lean ├── test_419_0.lean ├── test_41_0.lean ├── test_420_0.lean ├── test_421_0.lean ├── test_422_0.lean ├── test_423_0.lean ├── test_424_0.lean ├── test_425_0.lean ├── test_426_0.lean ├── test_427_0.lean ├── test_428_0.lean ├── test_429_0.lean ├── test_42_0.lean ├── test_430_0.lean ├── test_431_0.lean ├── test_432_0.lean ├── test_433_0.lean ├── test_434_0.lean ├── test_435_0.lean ├── test_436_0.lean ├── test_437_0.lean ├── test_438_0.lean ├── test_439_0.lean ├── test_43_0.lean ├── test_440_0.lean ├── test_442_0.lean ├── test_443_0.lean ├── test_444_0.lean ├── test_446_0.lean ├── test_447_0.lean ├── test_448_0.lean ├── test_449_0.lean ├── test_44_0.lean ├── test_450_0.lean ├── test_451_0.lean ├── test_452_0.lean ├── test_453_0.lean ├── test_454_0.lean ├── test_455_0.lean ├── test_456_0.lean ├── test_457_0.lean ├── test_458_0.lean ├── test_459_0.lean ├── test_45_0.lean ├── test_460_0.lean ├── test_461_0.lean ├── test_462_0.lean ├── test_463_0.lean ├── test_464_0.lean ├── test_465_0.lean ├── test_466_0.lean ├── test_467_0.lean ├── test_468_0.lean ├── test_469_0.lean ├── test_46_0.lean ├── test_470_0.lean ├── test_471_0.lean ├── test_472_0.lean ├── test_473_0.lean ├── test_474_0.lean ├── test_475_0.lean ├── test_476_0.lean ├── test_477_0.lean ├── test_478_0.lean ├── test_479_0.lean ├── test_47_0.lean ├── test_480_0.lean ├── test_481_0.lean ├── test_482_0.lean ├── test_483_0.lean ├── test_484_0.lean ├── test_485_0.lean ├── test_486_0.lean ├── test_487_0.lean ├── test_488_0.lean ├── test_489_0.lean ├── test_48_0.lean ├── test_490_0.lean ├── test_491_0.lean ├── test_492_0.lean ├── test_493_0.lean ├── test_494_0.lean ├── test_495_0.lean ├── test_496_0.lean ├── test_497_0.lean ├── test_498_0.lean ├── test_499_0.lean ├── test_49_0.lean ├── test_4_0.lean ├── test_500_0.lean ├── test_502_0.lean ├── test_503_0.lean ├── test_504_0.lean ├── test_505_0.lean ├── test_506_0.lean ├── test_507_0.lean ├── test_508_0.lean ├── test_509_0.lean ├── test_50_0.lean ├── test_510_0.lean ├── test_511_0.lean ├── test_513_0.lean ├── test_514_0.lean ├── test_515_0.lean ├── test_516_0.lean ├── test_517_0.lean ├── test_519_0.lean ├── test_51_0.lean ├── test_520_0.lean ├── test_521_0.lean ├── test_522_0.lean ├── test_524_0.lean ├── test_525_0.lean ├── test_526_0.lean ├── test_527_0.lean ├── test_528_0.lean ├── test_529_0.lean ├── test_52_0.lean ├── test_530_0.lean ├── test_531_0.lean ├── test_532_0.lean ├── test_533_0.lean ├── test_534_0.lean ├── test_535_0.lean ├── test_537_0.lean ├── test_539_0.lean ├── test_53_0.lean ├── test_540_0.lean ├── test_541_0.lean ├── test_543_0.lean ├── test_544_0.lean ├── test_545_0.lean ├── test_546_0.lean ├── test_547_0.lean ├── test_548_0.lean ├── test_549_0.lean ├── test_54_0.lean ├── test_550_0.lean ├── test_551_0.lean ├── test_552_0.lean ├── test_553_0.lean ├── test_554_0.lean ├── test_555_0.lean ├── test_556_0.lean ├── test_557_0.lean ├── test_558_0.lean ├── test_559_0.lean ├── test_55_0.lean ├── test_560_0.lean ├── test_561_0.lean ├── test_562_0.lean ├── test_563_0.lean ├── test_564_0.lean ├── test_565_0.lean ├── test_566_0.lean ├── test_567_0.lean ├── test_568_0.lean ├── test_569_0.lean ├── test_56_0.lean ├── test_570_0.lean ├── test_571_0.lean ├── test_572_0.lean ├── test_573_0.lean ├── test_574_0.lean ├── test_575_0.lean ├── test_576_0.lean ├── test_577_0.lean ├── test_578_0.lean ├── test_579_0.lean ├── test_57_0.lean ├── test_580_0.lean ├── test_582_0.lean ├── test_583_0.lean ├── test_584_0.lean ├── test_585_0.lean ├── test_586_0.lean ├── test_587_0.lean ├── test_588_0.lean ├── test_589_0.lean ├── test_58_0.lean ├── test_590_0.lean ├── test_591_0.lean ├── test_592_0.lean ├── test_593_0.lean ├── test_594_0.lean ├── test_595_0.lean ├── test_596_0.lean ├── test_597_0.lean ├── test_598_0.lean ├── test_599_0.lean ├── test_59_0.lean ├── test_5_0.lean ├── test_60_0.lean ├── test_61_0.lean ├── test_63_0.lean ├── test_64_0.lean ├── test_65_0.lean ├── test_66_0.lean ├── test_67_0.lean ├── test_68_0.lean ├── test_69_0.lean ├── test_6_0.lean ├── test_70_0.lean ├── test_71_0.lean ├── test_72_0.lean ├── test_73_0.lean ├── test_74_0.lean ├── test_75_0.lean ├── test_76_0.lean ├── test_77_0.lean ├── test_78_0.lean ├── test_79_0.lean ├── test_80_0.lean ├── test_81_0.lean ├── test_82_0.lean ├── test_83_0.lean ├── test_84_0.lean ├── test_86_0.lean ├── test_87_0.lean ├── test_88_0.lean ├── test_89_0.lean ├── test_8_0.lean ├── test_90_0.lean ├── test_91_0.lean ├── test_92_0.lean ├── test_93_0.lean ├── test_94_0.lean ├── test_95_0.lean ├── test_96_0.lean ├── test_97_0.lean ├── test_98_0.lean ├── test_99_0.lean └── test_9_0.lean ├── README.md ├── data_for_share ├── FOLIO │ ├── concise │ │ ├── new_output_0_3.lean │ │ ├── new_output_10_1.lean │ │ ├── new_output_10_6.lean │ │ ├── new_output_11_1.lean │ │ ├── new_output_11_3.lean │ │ ├── new_output_11_6.lean │ │ ├── new_output_13_1.lean │ │ ├── new_output_13_6.lean │ │ ├── new_output_15_1.lean │ │ ├── new_output_16_4.lean │ │ ├── new_output_16_5.lean │ │ ├── new_output_17_2.lean │ │ ├── new_output_17_5.lean │ │ ├── new_output_18_1.lean │ │ ├── new_output_18_4.lean │ │ ├── new_output_19_5.lean │ │ ├── new_output_1_5.lean │ │ ├── new_output_3_1.lean │ │ ├── new_output_3_4.lean │ │ ├── new_output_4_1.lean │ │ ├── new_output_4_6.lean │ │ ├── new_output_5_10.lean │ │ ├── new_output_5_5.lean │ │ ├── new_output_5_7.lean │ │ ├── new_output_6_1.lean │ │ ├── new_output_6_4.lean │ │ ├── new_output_7_1.lean │ │ ├── new_output_7_3.lean │ │ ├── new_output_7_5.lean │ │ ├── output_0_3.lean │ │ ├── output_0_6.lean │ │ ├── output_10_3.lean │ │ ├── output_10_6.lean │ │ ├── output_11_1.lean │ │ ├── output_11_3.lean │ │ ├── output_13_1.lean │ │ ├── output_13_3.lean │ │ ├── output_13_6.lean │ │ ├── output_13_7.lean │ │ ├── output_14_2.lean │ │ ├── output_14_3.lean │ │ ├── output_15_3.lean │ │ ├── output_15_6.lean │ │ ├── output_17_3.lean │ │ ├── output_17_6.lean │ │ ├── output_19_12.lean │ │ ├── output_19_6.lean │ │ ├── output_19_7.lean │ │ ├── output_19_9.lean │ │ ├── output_1_4.lean │ │ ├── output_1_5.lean │ │ ├── output_2_1.lean │ │ ├── output_2_3.lean │ │ ├── output_4_2.lean │ │ ├── output_6_1.lean │ │ ├── output_6_4.lean │ │ ├── output_7_1.lean │ │ ├── output_7_4.lean │ │ ├── output_7_5.lean │ │ └── output_8_3.lean │ └── intuitive │ │ ├── new_output_0_3.lean │ │ ├── new_output_10_1.lean │ │ ├── new_output_10_6.lean │ │ ├── new_output_11_1.lean │ │ ├── new_output_11_3.lean │ │ ├── new_output_11_6.lean │ │ ├── new_output_13_1.lean │ │ ├── new_output_13_6.lean │ │ ├── new_output_15_1.lean │ │ ├── new_output_16_4.lean │ │ ├── new_output_16_5.lean │ │ ├── new_output_17_2.lean │ │ ├── new_output_17_5.lean │ │ ├── new_output_18_1.lean │ │ ├── new_output_18_4.lean │ │ ├── new_output_19_5.lean │ │ ├── new_output_1_5.lean │ │ ├── new_output_3_1.lean │ │ ├── new_output_3_4.lean │ │ ├── new_output_4_1.lean │ │ ├── new_output_4_6.lean │ │ ├── new_output_5_10.lean │ │ ├── new_output_5_5.lean │ │ ├── new_output_5_7.lean │ │ ├── new_output_6_1.lean │ │ ├── new_output_6_4.lean │ │ ├── new_output_7_1.lean │ │ ├── new_output_7_3.lean │ │ ├── new_output_7_5.lean │ │ ├── output_0_3.lean │ │ ├── output_0_6.lean │ │ ├── output_10_3.lean │ │ ├── output_10_6.lean │ │ ├── output_11_1.lean │ │ ├── output_11_3.lean │ │ ├── output_13_1.lean │ │ ├── output_13_3.lean │ │ ├── output_13_6.lean │ │ ├── output_13_7.lean │ │ ├── output_14_2.lean │ │ ├── output_14_3.lean │ │ ├── output_15_3.lean │ │ ├── output_15_6.lean │ │ ├── output_17_3.lean │ │ ├── output_17_6.lean │ │ ├── output_19_12.lean │ │ ├── output_19_6.lean │ │ ├── output_19_7.lean │ │ ├── output_19_9.lean │ │ ├── output_1_4.lean │ │ ├── output_1_5.lean │ │ ├── output_2_1.lean │ │ ├── output_2_3.lean │ │ ├── output_4_2.lean │ │ ├── output_6_1.lean │ │ ├── output_6_4.lean │ │ ├── output_7_1.lean │ │ ├── output_7_4.lean │ │ ├── output_7_5.lean │ │ └── output_8_3.lean └── ProofWriter │ ├── test_0.lean │ ├── test_1.lean │ ├── test_10.lean │ ├── test_11.lean │ ├── test_12.lean │ ├── test_13.lean │ ├── test_14.lean │ ├── test_15.lean │ ├── test_16.lean │ ├── test_17.lean │ ├── test_18.lean │ ├── test_19.lean │ ├── test_2.lean │ ├── test_20.lean │ ├── test_21.lean │ ├── test_22.lean │ ├── test_23.lean │ ├── test_24.lean │ ├── test_25.lean │ ├── test_26.lean │ ├── test_27.lean │ ├── test_28.lean │ ├── test_29.lean │ ├── test_3.lean │ ├── test_30.lean │ ├── test_31.lean │ ├── test_32.lean │ ├── test_33.lean │ ├── test_34.lean │ ├── test_35.lean │ ├── test_36.lean │ ├── test_37.lean │ ├── test_38.lean │ ├── test_39.lean │ ├── test_4.lean │ ├── test_40.lean │ ├── test_41.lean │ ├── test_42.lean │ ├── test_43.lean │ ├── test_44.lean │ ├── test_45.lean │ ├── test_46.lean │ ├── test_47.lean │ ├── test_48.lean │ ├── test_49.lean │ ├── test_5.lean │ ├── test_50.lean │ ├── test_51.lean │ ├── test_52.lean │ ├── test_53.lean │ ├── test_54.lean │ ├── test_55.lean │ ├── test_56.lean │ ├── test_57.lean │ ├── test_58.lean │ ├── test_59.lean │ ├── test_6.lean │ ├── test_60.lean │ ├── test_61.lean │ ├── test_62.lean │ ├── test_63.lean │ ├── test_64.lean │ ├── test_65.lean │ ├── test_66.lean │ ├── test_67.lean │ ├── test_68.lean │ ├── test_69.lean │ ├── test_7.lean │ ├── test_70.lean │ ├── test_71.lean │ ├── test_72.lean │ ├── test_73.lean │ ├── test_74.lean │ ├── test_75.lean │ ├── test_76.lean │ ├── test_77.lean │ ├── test_78.lean │ ├── test_79.lean │ ├── test_8.lean │ ├── test_80.lean │ ├── test_81.lean │ ├── test_82.lean │ ├── test_83.lean │ ├── test_84.lean │ ├── test_85.lean │ ├── test_86.lean │ ├── test_87.lean │ ├── test_88.lean │ ├── test_89.lean │ ├── test_9.lean │ ├── test_90.lean │ ├── test_91.lean │ ├── test_92.lean │ ├── test_93.lean │ ├── test_94.lean │ ├── test_95.lean │ ├── test_96.lean │ ├── test_97.lean │ ├── test_98.lean │ └── test_99.lean ├── examples_with_detailed_annotation ├── example_1.lean └── example_2.lean ├── generate_proof_training_dataset_FOLIO.py ├── gpt4prompt.py ├── gpt4prompt_FOLIO.py ├── leanpkg.toml ├── llmprompt.py ├── output_prompt ├── .output2.lean.swp ├── output1.lean ├── output2.lean ├── output2_short.lean ├── output3.lean ├── output3_short.lean ├── output4.lean ├── output4_short.lean ├── output5.lean ├── output5_short.lean ├── output6_short.lean ├── output_false.lean ├── output_false_COT.lean ├── output_false_COT_comment.lean ├── output_false_formalization.lean ├── output_false_proof.lean ├── output_false_proof_COT.lean ├── output_true.lean ├── output_true_COT.lean ├── output_true_COT_comment.lean ├── output_true_formalization.lean ├── output_true_proof.lean ├── output_true_proof_COT.lean ├── output_unknown.lean ├── output_unknown_COT.lean ├── output_unknown_COT_comment.lean ├── output_unknown_formalization.lean ├── output_unknown_proof.lean └── output_unknown_proof_COT.lean └── prompts.py /.gitignore: -------------------------------------------------------------------------------- 1 | *.olean 2 | -------------------------------------------------------------------------------- /FOLIO_30_problem_test/test_0_0.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/FOLIO_30_problem_test/test_0_0.lean -------------------------------------------------------------------------------- /FOLIO_30_problem_test/test_0_1.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/FOLIO_30_problem_test/test_0_1.lean -------------------------------------------------------------------------------- /FOLIO_30_problem_test/test_0_2.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/FOLIO_30_problem_test/test_0_2.lean -------------------------------------------------------------------------------- /FOLIO_30_problem_test/test_2_0.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/FOLIO_30_problem_test/test_2_0.lean -------------------------------------------------------------------------------- /FOLIO_30_problem_test/test_3_0.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/FOLIO_30_problem_test/test_3_0.lean -------------------------------------------------------------------------------- /FOLIO_30_problem_test/test_3_1.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/FOLIO_30_problem_test/test_3_1.lean -------------------------------------------------------------------------------- /FOLIO_30_problem_test/test_3_2.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/FOLIO_30_problem_test/test_3_2.lean -------------------------------------------------------------------------------- /FOLIO_30_problem_test/test_3_3.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/FOLIO_30_problem_test/test_3_3.lean -------------------------------------------------------------------------------- /FOLIO_30_problem_test/test_3_4.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/FOLIO_30_problem_test/test_3_4.lean -------------------------------------------------------------------------------- /FOLIO_30_problem_test/test_4_0.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/FOLIO_30_problem_test/test_4_0.lean -------------------------------------------------------------------------------- /FOLIO_30_problem_test/test_4_1.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/FOLIO_30_problem_test/test_4_1.lean -------------------------------------------------------------------------------- /FOLIO_30_problem_test_all/test_0_0.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/FOLIO_30_problem_test_all/test_0_0.lean -------------------------------------------------------------------------------- /FOLIO_30_problem_test_all/test_10_0.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/FOLIO_30_problem_test_all/test_10_0.lean -------------------------------------------------------------------------------- /FOLIO_30_problem_test_all/test_10_1.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/FOLIO_30_problem_test_all/test_10_1.lean -------------------------------------------------------------------------------- /FOLIO_30_problem_test_all/test_10_2.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/FOLIO_30_problem_test_all/test_10_2.lean -------------------------------------------------------------------------------- /FOLIO_30_problem_test_all/test_11_0.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/FOLIO_30_problem_test_all/test_11_0.lean -------------------------------------------------------------------------------- /FOLIO_30_problem_test_all/test_11_1.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/FOLIO_30_problem_test_all/test_11_1.lean -------------------------------------------------------------------------------- /FOLIO_30_problem_test_all/test_11_2.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/FOLIO_30_problem_test_all/test_11_2.lean -------------------------------------------------------------------------------- /FOLIO_30_problem_test_all/test_12_0.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/FOLIO_30_problem_test_all/test_12_0.lean -------------------------------------------------------------------------------- /FOLIO_30_problem_test_all/test_12_1.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/FOLIO_30_problem_test_all/test_12_1.lean -------------------------------------------------------------------------------- /FOLIO_30_problem_test_all/test_12_2.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/FOLIO_30_problem_test_all/test_12_2.lean -------------------------------------------------------------------------------- /FOLIO_30_problem_test_all/test_13_0.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/FOLIO_30_problem_test_all/test_13_0.lean -------------------------------------------------------------------------------- /FOLIO_30_problem_test_all/test_13_1.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/FOLIO_30_problem_test_all/test_13_1.lean -------------------------------------------------------------------------------- /FOLIO_30_problem_test_all/test_13_2.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/FOLIO_30_problem_test_all/test_13_2.lean -------------------------------------------------------------------------------- /FOLIO_30_problem_test_all/test_14_0.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/FOLIO_30_problem_test_all/test_14_0.lean -------------------------------------------------------------------------------- /FOLIO_30_problem_test_all/test_15_0.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/FOLIO_30_problem_test_all/test_15_0.lean -------------------------------------------------------------------------------- /FOLIO_30_problem_test_all/test_15_1.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/FOLIO_30_problem_test_all/test_15_1.lean -------------------------------------------------------------------------------- /FOLIO_30_problem_test_all/test_15_2.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/FOLIO_30_problem_test_all/test_15_2.lean -------------------------------------------------------------------------------- /FOLIO_30_problem_test_all/test_16_0.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/FOLIO_30_problem_test_all/test_16_0.lean -------------------------------------------------------------------------------- /FOLIO_30_problem_test_all/test_16_1.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/FOLIO_30_problem_test_all/test_16_1.lean -------------------------------------------------------------------------------- /FOLIO_30_problem_test_all/test_16_2.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/FOLIO_30_problem_test_all/test_16_2.lean -------------------------------------------------------------------------------- /FOLIO_30_problem_test_all/test_17_0.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/FOLIO_30_problem_test_all/test_17_0.lean -------------------------------------------------------------------------------- /FOLIO_30_problem_test_all/test_17_1.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/FOLIO_30_problem_test_all/test_17_1.lean -------------------------------------------------------------------------------- /FOLIO_30_problem_test_all/test_17_2.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/FOLIO_30_problem_test_all/test_17_2.lean -------------------------------------------------------------------------------- /FOLIO_30_problem_test_all/test_18_0.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/FOLIO_30_problem_test_all/test_18_0.lean -------------------------------------------------------------------------------- /FOLIO_30_problem_test_all/test_18_1.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/FOLIO_30_problem_test_all/test_18_1.lean -------------------------------------------------------------------------------- /FOLIO_30_problem_test_all/test_18_2.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/FOLIO_30_problem_test_all/test_18_2.lean -------------------------------------------------------------------------------- /FOLIO_30_problem_test_all/test_19_0.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/FOLIO_30_problem_test_all/test_19_0.lean -------------------------------------------------------------------------------- /FOLIO_30_problem_test_all/test_19_2.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/FOLIO_30_problem_test_all/test_19_2.lean -------------------------------------------------------------------------------- /FOLIO_30_problem_test_all/test_1_0.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/FOLIO_30_problem_test_all/test_1_0.lean -------------------------------------------------------------------------------- /FOLIO_30_problem_test_all/test_1_1.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/FOLIO_30_problem_test_all/test_1_1.lean -------------------------------------------------------------------------------- /FOLIO_30_problem_test_all/test_1_2.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/FOLIO_30_problem_test_all/test_1_2.lean -------------------------------------------------------------------------------- /FOLIO_30_problem_test_all/test_20_0.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/FOLIO_30_problem_test_all/test_20_0.lean -------------------------------------------------------------------------------- /FOLIO_30_problem_test_all/test_20_1.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/FOLIO_30_problem_test_all/test_20_1.lean -------------------------------------------------------------------------------- /FOLIO_30_problem_test_all/test_21_0.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/FOLIO_30_problem_test_all/test_21_0.lean -------------------------------------------------------------------------------- /FOLIO_30_problem_test_all/test_21_1.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/FOLIO_30_problem_test_all/test_21_1.lean -------------------------------------------------------------------------------- /FOLIO_30_problem_test_all/test_21_2.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/FOLIO_30_problem_test_all/test_21_2.lean -------------------------------------------------------------------------------- /FOLIO_30_problem_test_all/test_22_0.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/FOLIO_30_problem_test_all/test_22_0.lean -------------------------------------------------------------------------------- /FOLIO_30_problem_test_all/test_22_1.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/FOLIO_30_problem_test_all/test_22_1.lean -------------------------------------------------------------------------------- /FOLIO_30_problem_test_all/test_22_2.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/FOLIO_30_problem_test_all/test_22_2.lean -------------------------------------------------------------------------------- /FOLIO_30_problem_test_all/test_23_0.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/FOLIO_30_problem_test_all/test_23_0.lean -------------------------------------------------------------------------------- /FOLIO_30_problem_test_all/test_23_1.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/FOLIO_30_problem_test_all/test_23_1.lean -------------------------------------------------------------------------------- /FOLIO_30_problem_test_all/test_24_0.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/FOLIO_30_problem_test_all/test_24_0.lean -------------------------------------------------------------------------------- /FOLIO_30_problem_test_all/test_24_1.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/FOLIO_30_problem_test_all/test_24_1.lean -------------------------------------------------------------------------------- /FOLIO_30_problem_test_all/test_24_2.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/FOLIO_30_problem_test_all/test_24_2.lean -------------------------------------------------------------------------------- /FOLIO_30_problem_test_all/test_25_0.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/FOLIO_30_problem_test_all/test_25_0.lean -------------------------------------------------------------------------------- /FOLIO_30_problem_test_all/test_25_1.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/FOLIO_30_problem_test_all/test_25_1.lean -------------------------------------------------------------------------------- /FOLIO_30_problem_test_all/test_26_0.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/FOLIO_30_problem_test_all/test_26_0.lean -------------------------------------------------------------------------------- /FOLIO_30_problem_test_all/test_26_1.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/FOLIO_30_problem_test_all/test_26_1.lean -------------------------------------------------------------------------------- /FOLIO_30_problem_test_all/test_26_2.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/FOLIO_30_problem_test_all/test_26_2.lean -------------------------------------------------------------------------------- /FOLIO_30_problem_test_all/test_27_0.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/FOLIO_30_problem_test_all/test_27_0.lean -------------------------------------------------------------------------------- /FOLIO_30_problem_test_all/test_27_1.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/FOLIO_30_problem_test_all/test_27_1.lean -------------------------------------------------------------------------------- /FOLIO_30_problem_test_all/test_27_2.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/FOLIO_30_problem_test_all/test_27_2.lean -------------------------------------------------------------------------------- /FOLIO_30_problem_test_all/test_27_3.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/FOLIO_30_problem_test_all/test_27_3.lean -------------------------------------------------------------------------------- /FOLIO_30_problem_test_all/test_27_4.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/FOLIO_30_problem_test_all/test_27_4.lean -------------------------------------------------------------------------------- /FOLIO_30_problem_test_all/test_28_0.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/FOLIO_30_problem_test_all/test_28_0.lean -------------------------------------------------------------------------------- /FOLIO_30_problem_test_all/test_28_1.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/FOLIO_30_problem_test_all/test_28_1.lean -------------------------------------------------------------------------------- /FOLIO_30_problem_test_all/test_28_2.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/FOLIO_30_problem_test_all/test_28_2.lean -------------------------------------------------------------------------------- /FOLIO_30_problem_test_all/test_29_0.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/FOLIO_30_problem_test_all/test_29_0.lean -------------------------------------------------------------------------------- /FOLIO_30_problem_test_all/test_2_0.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/FOLIO_30_problem_test_all/test_2_0.lean -------------------------------------------------------------------------------- /FOLIO_30_problem_test_all/test_2_1.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/FOLIO_30_problem_test_all/test_2_1.lean -------------------------------------------------------------------------------- /FOLIO_30_problem_test_all/test_2_2.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/FOLIO_30_problem_test_all/test_2_2.lean -------------------------------------------------------------------------------- /FOLIO_30_problem_test_all/test_30_0.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/FOLIO_30_problem_test_all/test_30_0.lean -------------------------------------------------------------------------------- /FOLIO_30_problem_test_all/test_30_1.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/FOLIO_30_problem_test_all/test_30_1.lean -------------------------------------------------------------------------------- /FOLIO_30_problem_test_all/test_30_2.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/FOLIO_30_problem_test_all/test_30_2.lean -------------------------------------------------------------------------------- /FOLIO_30_problem_test_all/test_31_0.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/FOLIO_30_problem_test_all/test_31_0.lean -------------------------------------------------------------------------------- /FOLIO_30_problem_test_all/test_31_1.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/FOLIO_30_problem_test_all/test_31_1.lean -------------------------------------------------------------------------------- /FOLIO_30_problem_test_all/test_32_0.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/FOLIO_30_problem_test_all/test_32_0.lean -------------------------------------------------------------------------------- /FOLIO_30_problem_test_all/test_32_1.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/FOLIO_30_problem_test_all/test_32_1.lean -------------------------------------------------------------------------------- /FOLIO_30_problem_test_all/test_32_2.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/FOLIO_30_problem_test_all/test_32_2.lean -------------------------------------------------------------------------------- /FOLIO_30_problem_test_all/test_33_0.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/FOLIO_30_problem_test_all/test_33_0.lean -------------------------------------------------------------------------------- /FOLIO_30_problem_test_all/test_33_1.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/FOLIO_30_problem_test_all/test_33_1.lean -------------------------------------------------------------------------------- /FOLIO_30_problem_test_all/test_33_2.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/FOLIO_30_problem_test_all/test_33_2.lean -------------------------------------------------------------------------------- /FOLIO_30_problem_test_all/test_34_0.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/FOLIO_30_problem_test_all/test_34_0.lean -------------------------------------------------------------------------------- /FOLIO_30_problem_test_all/test_34_1.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/FOLIO_30_problem_test_all/test_34_1.lean -------------------------------------------------------------------------------- /FOLIO_30_problem_test_all/test_35_0.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/FOLIO_30_problem_test_all/test_35_0.lean -------------------------------------------------------------------------------- /FOLIO_30_problem_test_all/test_35_1.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/FOLIO_30_problem_test_all/test_35_1.lean -------------------------------------------------------------------------------- /FOLIO_30_problem_test_all/test_35_2.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/FOLIO_30_problem_test_all/test_35_2.lean -------------------------------------------------------------------------------- /FOLIO_30_problem_test_all/test_36_0.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/FOLIO_30_problem_test_all/test_36_0.lean -------------------------------------------------------------------------------- /FOLIO_30_problem_test_all/test_36_1.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/FOLIO_30_problem_test_all/test_36_1.lean -------------------------------------------------------------------------------- /FOLIO_30_problem_test_all/test_36_2.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/FOLIO_30_problem_test_all/test_36_2.lean -------------------------------------------------------------------------------- /FOLIO_30_problem_test_all/test_37_0.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/FOLIO_30_problem_test_all/test_37_0.lean -------------------------------------------------------------------------------- /FOLIO_30_problem_test_all/test_37_1.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/FOLIO_30_problem_test_all/test_37_1.lean -------------------------------------------------------------------------------- /FOLIO_30_problem_test_all/test_37_2.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/FOLIO_30_problem_test_all/test_37_2.lean -------------------------------------------------------------------------------- /FOLIO_30_problem_test_all/test_38_0.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/FOLIO_30_problem_test_all/test_38_0.lean -------------------------------------------------------------------------------- /FOLIO_30_problem_test_all/test_39_0.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/FOLIO_30_problem_test_all/test_39_0.lean -------------------------------------------------------------------------------- /FOLIO_30_problem_test_all/test_39_1.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/FOLIO_30_problem_test_all/test_39_1.lean -------------------------------------------------------------------------------- /FOLIO_30_problem_test_all/test_39_2.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/FOLIO_30_problem_test_all/test_39_2.lean -------------------------------------------------------------------------------- /FOLIO_30_problem_test_all/test_3_0.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/FOLIO_30_problem_test_all/test_3_0.lean -------------------------------------------------------------------------------- /FOLIO_30_problem_test_all/test_3_1.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/FOLIO_30_problem_test_all/test_3_1.lean -------------------------------------------------------------------------------- /FOLIO_30_problem_test_all/test_3_2.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/FOLIO_30_problem_test_all/test_3_2.lean -------------------------------------------------------------------------------- /FOLIO_30_problem_test_all/test_40_0.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/FOLIO_30_problem_test_all/test_40_0.lean -------------------------------------------------------------------------------- /FOLIO_30_problem_test_all/test_40_1.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/FOLIO_30_problem_test_all/test_40_1.lean -------------------------------------------------------------------------------- /FOLIO_30_problem_test_all/test_40_2.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/FOLIO_30_problem_test_all/test_40_2.lean -------------------------------------------------------------------------------- /FOLIO_30_problem_test_all/test_41_1.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/FOLIO_30_problem_test_all/test_41_1.lean -------------------------------------------------------------------------------- /FOLIO_30_problem_test_all/test_41_2.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/FOLIO_30_problem_test_all/test_41_2.lean -------------------------------------------------------------------------------- /FOLIO_30_problem_test_all/test_42_0.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/FOLIO_30_problem_test_all/test_42_0.lean -------------------------------------------------------------------------------- /FOLIO_30_problem_test_all/test_43_0.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/FOLIO_30_problem_test_all/test_43_0.lean -------------------------------------------------------------------------------- /FOLIO_30_problem_test_all/test_43_1.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/FOLIO_30_problem_test_all/test_43_1.lean -------------------------------------------------------------------------------- /FOLIO_30_problem_test_all/test_43_2.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/FOLIO_30_problem_test_all/test_43_2.lean -------------------------------------------------------------------------------- /FOLIO_30_problem_test_all/test_44_0.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/FOLIO_30_problem_test_all/test_44_0.lean -------------------------------------------------------------------------------- /FOLIO_30_problem_test_all/test_44_1.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/FOLIO_30_problem_test_all/test_44_1.lean -------------------------------------------------------------------------------- /FOLIO_30_problem_test_all/test_44_2.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/FOLIO_30_problem_test_all/test_44_2.lean -------------------------------------------------------------------------------- /FOLIO_30_problem_test_all/test_45_0.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/FOLIO_30_problem_test_all/test_45_0.lean -------------------------------------------------------------------------------- /FOLIO_30_problem_test_all/test_45_1.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/FOLIO_30_problem_test_all/test_45_1.lean -------------------------------------------------------------------------------- /FOLIO_30_problem_test_all/test_45_2.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/FOLIO_30_problem_test_all/test_45_2.lean -------------------------------------------------------------------------------- /FOLIO_30_problem_test_all/test_45_3.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/FOLIO_30_problem_test_all/test_45_3.lean -------------------------------------------------------------------------------- /FOLIO_30_problem_test_all/test_46_0.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/FOLIO_30_problem_test_all/test_46_0.lean -------------------------------------------------------------------------------- /FOLIO_30_problem_test_all/test_48_0.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/FOLIO_30_problem_test_all/test_48_0.lean -------------------------------------------------------------------------------- /FOLIO_30_problem_test_all/test_48_1.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/FOLIO_30_problem_test_all/test_48_1.lean -------------------------------------------------------------------------------- /FOLIO_30_problem_test_all/test_49_0.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/FOLIO_30_problem_test_all/test_49_0.lean -------------------------------------------------------------------------------- /FOLIO_30_problem_test_all/test_49_1.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/FOLIO_30_problem_test_all/test_49_1.lean -------------------------------------------------------------------------------- /FOLIO_30_problem_test_all/test_49_2.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/FOLIO_30_problem_test_all/test_49_2.lean -------------------------------------------------------------------------------- /FOLIO_30_problem_test_all/test_4_0.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/FOLIO_30_problem_test_all/test_4_0.lean -------------------------------------------------------------------------------- /FOLIO_30_problem_test_all/test_4_1.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/FOLIO_30_problem_test_all/test_4_1.lean -------------------------------------------------------------------------------- /FOLIO_30_problem_test_all/test_4_2.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/FOLIO_30_problem_test_all/test_4_2.lean -------------------------------------------------------------------------------- /FOLIO_30_problem_test_all/test_50_0.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/FOLIO_30_problem_test_all/test_50_0.lean -------------------------------------------------------------------------------- /FOLIO_30_problem_test_all/test_50_1.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/FOLIO_30_problem_test_all/test_50_1.lean -------------------------------------------------------------------------------- /FOLIO_30_problem_test_all/test_51_0.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/FOLIO_30_problem_test_all/test_51_0.lean -------------------------------------------------------------------------------- /FOLIO_30_problem_test_all/test_51_1.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/FOLIO_30_problem_test_all/test_51_1.lean -------------------------------------------------------------------------------- /FOLIO_30_problem_test_all/test_51_2.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/FOLIO_30_problem_test_all/test_51_2.lean -------------------------------------------------------------------------------- /FOLIO_30_problem_test_all/test_51_3.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/FOLIO_30_problem_test_all/test_51_3.lean -------------------------------------------------------------------------------- /FOLIO_30_problem_test_all/test_51_4.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/FOLIO_30_problem_test_all/test_51_4.lean -------------------------------------------------------------------------------- /FOLIO_30_problem_test_all/test_52_0.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/FOLIO_30_problem_test_all/test_52_0.lean -------------------------------------------------------------------------------- /FOLIO_30_problem_test_all/test_52_1.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/FOLIO_30_problem_test_all/test_52_1.lean -------------------------------------------------------------------------------- /FOLIO_30_problem_test_all/test_52_2.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/FOLIO_30_problem_test_all/test_52_2.lean -------------------------------------------------------------------------------- /FOLIO_30_problem_test_all/test_53_0.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/FOLIO_30_problem_test_all/test_53_0.lean -------------------------------------------------------------------------------- /FOLIO_30_problem_test_all/test_53_1.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/FOLIO_30_problem_test_all/test_53_1.lean -------------------------------------------------------------------------------- /FOLIO_30_problem_test_all/test_53_2.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/FOLIO_30_problem_test_all/test_53_2.lean -------------------------------------------------------------------------------- /FOLIO_30_problem_test_all/test_54_0.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/FOLIO_30_problem_test_all/test_54_0.lean -------------------------------------------------------------------------------- /FOLIO_30_problem_test_all/test_55_0.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/FOLIO_30_problem_test_all/test_55_0.lean -------------------------------------------------------------------------------- /FOLIO_30_problem_test_all/test_55_1.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/FOLIO_30_problem_test_all/test_55_1.lean -------------------------------------------------------------------------------- /FOLIO_30_problem_test_all/test_55_2.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/FOLIO_30_problem_test_all/test_55_2.lean -------------------------------------------------------------------------------- /FOLIO_30_problem_test_all/test_55_3.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/FOLIO_30_problem_test_all/test_55_3.lean -------------------------------------------------------------------------------- /FOLIO_30_problem_test_all/test_56_0.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/FOLIO_30_problem_test_all/test_56_0.lean -------------------------------------------------------------------------------- /FOLIO_30_problem_test_all/test_56_1.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/FOLIO_30_problem_test_all/test_56_1.lean -------------------------------------------------------------------------------- /FOLIO_30_problem_test_all/test_58_0.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/FOLIO_30_problem_test_all/test_58_0.lean -------------------------------------------------------------------------------- /FOLIO_30_problem_test_all/test_58_1.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/FOLIO_30_problem_test_all/test_58_1.lean -------------------------------------------------------------------------------- /FOLIO_30_problem_test_all/test_58_2.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/FOLIO_30_problem_test_all/test_58_2.lean -------------------------------------------------------------------------------- /FOLIO_30_problem_test_all/test_59_0.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/FOLIO_30_problem_test_all/test_59_0.lean -------------------------------------------------------------------------------- /FOLIO_30_problem_test_all/test_59_1.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/FOLIO_30_problem_test_all/test_59_1.lean -------------------------------------------------------------------------------- /FOLIO_30_problem_test_all/test_59_2.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/FOLIO_30_problem_test_all/test_59_2.lean -------------------------------------------------------------------------------- /FOLIO_30_problem_test_all/test_5_0.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/FOLIO_30_problem_test_all/test_5_0.lean -------------------------------------------------------------------------------- /FOLIO_30_problem_test_all/test_5_1.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/FOLIO_30_problem_test_all/test_5_1.lean -------------------------------------------------------------------------------- /FOLIO_30_problem_test_all/test_5_2.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/FOLIO_30_problem_test_all/test_5_2.lean -------------------------------------------------------------------------------- /FOLIO_30_problem_test_all/test_5_3.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/FOLIO_30_problem_test_all/test_5_3.lean -------------------------------------------------------------------------------- /FOLIO_30_problem_test_all/test_5_4.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/FOLIO_30_problem_test_all/test_5_4.lean -------------------------------------------------------------------------------- /FOLIO_30_problem_test_all/test_61_0.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/FOLIO_30_problem_test_all/test_61_0.lean -------------------------------------------------------------------------------- /FOLIO_30_problem_test_all/test_61_1.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/FOLIO_30_problem_test_all/test_61_1.lean -------------------------------------------------------------------------------- /FOLIO_30_problem_test_all/test_61_2.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/FOLIO_30_problem_test_all/test_61_2.lean -------------------------------------------------------------------------------- /FOLIO_30_problem_test_all/test_62_0.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/FOLIO_30_problem_test_all/test_62_0.lean -------------------------------------------------------------------------------- /FOLIO_30_problem_test_all/test_62_1.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/FOLIO_30_problem_test_all/test_62_1.lean -------------------------------------------------------------------------------- /FOLIO_30_problem_test_all/test_62_2.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/FOLIO_30_problem_test_all/test_62_2.lean -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/LICENSE -------------------------------------------------------------------------------- /ProofWriter_test_all/config.json: -------------------------------------------------------------------------------- 1 | {"temperature": 0, "top_p": 1.0} -------------------------------------------------------------------------------- /ProofWriter_test_all/output_0.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_0.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_1.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_1.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_10.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_10.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_101.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_101.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_102.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_102.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_103.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_103.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_104.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_104.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_105.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_105.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_106.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_106.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_107.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_107.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_108.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_108.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_109.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_109.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_11.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_11.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_110.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_110.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_111.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_111.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_112.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_112.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_113.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_113.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_114.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_114.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_115.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_115.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_116.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_116.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_117.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_117.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_118.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_118.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_119.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_119.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_12.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_12.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_120.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_120.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_121.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_121.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_122.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_122.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_123.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_123.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_124.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_124.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_125.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_125.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_126.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_126.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_127.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_127.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_128.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_128.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_129.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_129.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_13.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_13.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_130.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_130.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_131.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_131.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_132.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_132.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_133.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_133.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_134.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_134.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_135.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_135.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_136.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_136.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_137.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_137.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_138.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_138.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_139.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_139.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_14.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_14.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_140.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_140.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_141.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_141.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_142.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_142.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_143.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_143.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_144.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_144.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_145.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_145.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_146.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_146.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_147.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_147.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_148.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_148.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_149.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_149.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_15.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_15.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_150.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_150.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_151.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_151.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_152.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_152.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_153.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_153.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_154.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_154.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_155.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_155.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_156.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_156.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_157.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_157.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_158.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_158.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_159.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_159.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_16.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_16.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_160.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_160.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_161.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_161.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_162.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_162.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_163.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_163.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_164.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_164.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_165.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_165.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_166.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_166.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_167.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_167.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_168.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_168.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_169.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_169.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_17.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_17.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_170.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_170.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_171.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_171.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_172.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_172.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_173.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_173.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_174.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_174.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_175.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_175.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_176.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_176.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_177.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_177.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_178.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_178.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_179.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_179.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_18.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_18.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_180.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_180.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_181.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_181.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_182.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_182.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_183.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_183.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_184.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_184.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_185.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_185.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_186.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_186.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_187.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_187.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_188.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_188.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_189.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_189.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_19.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_19.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_190.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_190.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_191.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_191.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_192.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_192.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_193.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_193.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_194.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_194.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_195.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_195.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_196.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_196.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_197.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_197.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_198.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_198.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_199.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_199.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_2.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_2.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_20.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_20.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_200.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_200.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_201.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_201.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_202.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_202.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_203.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_203.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_204.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_204.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_205.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_205.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_206.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_206.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_207.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_207.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_208.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_208.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_209.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_209.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_21.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_21.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_210.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_210.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_211.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_211.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_212.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_212.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_213.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_213.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_214.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_214.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_215.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_215.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_216.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_216.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_218.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_218.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_219.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_219.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_22.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_22.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_220.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_220.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_221.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_221.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_222.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_222.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_223.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_223.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_224.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_224.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_225.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_225.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_226.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_226.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_227.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_227.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_228.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_228.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_229.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_229.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_23.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_23.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_230.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_230.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_231.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_231.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_232.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_232.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_233.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_233.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_234.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_234.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_235.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_235.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_236.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_236.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_237.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_237.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_238.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_238.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_239.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_239.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_24.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_24.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_240.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_240.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_241.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_241.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_242.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_242.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_243.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_243.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_244.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_244.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_245.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_245.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_246.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_246.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_247.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_247.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_248.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_248.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_249.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_249.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_25.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_25.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_250.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_250.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_251.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_251.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_252.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_252.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_253.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_253.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_254.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_254.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_255.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_255.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_256.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_256.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_257.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_257.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_258.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_258.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_259.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_259.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_26.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_26.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_260.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_260.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_261.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_261.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_262.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_262.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_263.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_263.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_264.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_264.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_265.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_265.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_266.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_266.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_267.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_267.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_268.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_268.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_269.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_269.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_27.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_27.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_270.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_270.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_271.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_271.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_272.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_272.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_273.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_273.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_274.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_274.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_275.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_275.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_276.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_276.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_277.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_277.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_278.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_278.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_279.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_279.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_28.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_28.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_280.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_280.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_281.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_281.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_282.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_282.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_283.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_283.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_284.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_284.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_285.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_285.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_286.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_286.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_287.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_287.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_288.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_288.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_289.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_289.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_29.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_29.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_290.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_290.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_291.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_291.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_292.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_292.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_293.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_293.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_294.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_294.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_295.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_295.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_296.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_296.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_298.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_298.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_299.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_299.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_3.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_3.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_30.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_30.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_300.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_300.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_301.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_301.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_302.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_302.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_303.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_303.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_304.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_304.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_305.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_305.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_306.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_306.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_307.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_307.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_308.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_308.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_309.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_309.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_31.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_31.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_310.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_310.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_311.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_311.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_312.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_312.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_313.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_313.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_314.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_314.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_315.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_315.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_316.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_316.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_317.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_317.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_318.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_318.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_319.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_319.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_32.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_32.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_320.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_320.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_321.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_321.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_322.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_322.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_323.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_323.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_324.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_324.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_325.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_325.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_326.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_326.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_327.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_327.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_328.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_328.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_329.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_329.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_33.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_33.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_330.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_330.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_331.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_331.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_332.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_332.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_333.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_333.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_334.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_334.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_335.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_335.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_336.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_336.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_337.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_337.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_338.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_338.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_339.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_339.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_34.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_34.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_340.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_340.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_341.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_341.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_342.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_342.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_343.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_343.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_344.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_344.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_345.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_345.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_346.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_346.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_347.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_347.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_348.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_348.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_349.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_349.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_35.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_35.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_350.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_350.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_351.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_351.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_352.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_352.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_353.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_353.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_354.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_354.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_355.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_355.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_356.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_356.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_357.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_357.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_358.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_358.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_359.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_359.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_36.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_36.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_360.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_360.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_361.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_361.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_362.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_362.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_363.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_363.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_364.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_364.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_365.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_365.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_366.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_366.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_367.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_367.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_368.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_368.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_369.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_369.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_37.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_37.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_370.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_370.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_371.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_371.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_372.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_372.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_373.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_373.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_374.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_374.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_375.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_375.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_376.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_376.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_377.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_377.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_378.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_378.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_379.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_379.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_38.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_38.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_380.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_380.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_381.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_381.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_382.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_382.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_383.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_383.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_384.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_384.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_385.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_385.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_386.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_386.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_387.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_387.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_388.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_388.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_389.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_389.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_39.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_39.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_390.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_390.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_391.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_391.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_392.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_392.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_393.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_393.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_394.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_394.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_395.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_395.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_396.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_396.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_397.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_397.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_398.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_398.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_399.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_399.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_4.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_4.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_40.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_40.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_400.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_400.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_401.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_401.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_402.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_402.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_404.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_404.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_405.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_405.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_406.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_406.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_407.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_407.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_408.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_408.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_409.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_409.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_41.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_41.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_411.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_411.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_412.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_412.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_413.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_413.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_414.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_414.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_415.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_415.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_416.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_416.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_417.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_417.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_418.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_418.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_419.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_419.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_42.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_42.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_420.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_420.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_421.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_421.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_422.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_422.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_423.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_423.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_424.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_424.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_425.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_425.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_426.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_426.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_427.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_427.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_428.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_428.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_429.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_429.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_43.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_43.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_430.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_430.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_431.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_431.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_432.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_432.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_433.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_433.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_434.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_434.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_435.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_435.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_436.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_436.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_437.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_437.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_438.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_438.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_439.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_439.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_44.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_44.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_440.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_440.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_441.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_441.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_442.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_442.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_443.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_443.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_444.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_444.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_446.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_446.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_447.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_447.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_448.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_448.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_449.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_449.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_45.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_45.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_450.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_450.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_451.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_451.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_452.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_452.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_453.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_453.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_454.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_454.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_455.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_455.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_456.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_456.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_457.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_457.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_458.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_458.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_459.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_459.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_46.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_46.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_460.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_460.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_461.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_461.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_462.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_462.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_463.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_463.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_464.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_464.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_465.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_465.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_466.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_466.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_467.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_467.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_468.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_468.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_469.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_469.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_47.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_47.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_470.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_470.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_471.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_471.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_472.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_472.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_473.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_473.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_474.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_474.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_475.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_475.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_476.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_476.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_477.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_477.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_478.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_478.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_479.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_479.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_48.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_48.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_480.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_480.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_481.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_481.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_482.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_482.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_483.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_483.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_484.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_484.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_485.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_485.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_486.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_486.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_487.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_487.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_488.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_488.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_489.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_489.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_49.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_49.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_490.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_490.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_491.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_491.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_492.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_492.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_493.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_493.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_494.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_494.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_495.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_495.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_496.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_496.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_497.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_497.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_498.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_498.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_499.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_499.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_5.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_5.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_50.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_50.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_500.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_500.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_502.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_502.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_503.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_503.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_504.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_504.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_505.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_505.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_506.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_506.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_507.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_507.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_508.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_508.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_509.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_509.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_51.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_51.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_510.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_510.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_511.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_511.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_512.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_512.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_513.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_513.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_514.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_514.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_515.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_515.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_516.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_516.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_517.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_517.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_518.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_518.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_519.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_519.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_52.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_52.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_520.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_520.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_521.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_521.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_522.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_522.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_523.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_523.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_524.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_524.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_525.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_525.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_526.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_526.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_527.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_527.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_528.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_528.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_529.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_529.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_53.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_53.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_530.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_530.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_531.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_531.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_532.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_532.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_533.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_533.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_534.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_534.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_535.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_535.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_537.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_537.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_538.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_538.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_539.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_539.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_54.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_54.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_540.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_540.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_541.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_541.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_543.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_543.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_544.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_544.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_545.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_545.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_546.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_546.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_547.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_547.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_548.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_548.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_549.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_549.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_55.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_55.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_550.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_550.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_551.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_551.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_552.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_552.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_553.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_553.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_554.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_554.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_555.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_555.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_556.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_556.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_557.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_557.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_558.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_558.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_559.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_559.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_56.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_56.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_560.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_560.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_561.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_561.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_562.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_562.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_563.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_563.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_564.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_564.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_565.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_565.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_566.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_566.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_567.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_567.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_568.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_568.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_569.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_569.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_57.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_57.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_570.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_570.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_571.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_571.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_572.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_572.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_573.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_573.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_574.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_574.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_575.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_575.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_576.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_576.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_577.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_577.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_578.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_578.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_579.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_579.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_58.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_58.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_580.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_580.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_581.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_581.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_582.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_582.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_583.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_583.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_584.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_584.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_585.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_585.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_586.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_586.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_587.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_587.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_588.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_588.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_589.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_589.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_59.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_59.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_590.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_590.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_591.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_591.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_592.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_592.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_593.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_593.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_594.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_594.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_595.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_595.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_596.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_596.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_597.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_597.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_598.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_598.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_599.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_599.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_6.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_6.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_60.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_60.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_61.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_61.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_63.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_63.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_64.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_64.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_65.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_65.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_66.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_66.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_67.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_67.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_68.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_68.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_69.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_69.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_7.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_7.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_70.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_70.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_71.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_71.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_72.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_72.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_73.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_73.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_74.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_74.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_75.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_75.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_76.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_76.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_77.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_77.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_78.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_78.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_79.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_79.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_8.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_8.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_80.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_80.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_81.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_81.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_82.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_82.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_83.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_83.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_84.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_84.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_85.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_85.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_86.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_86.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_87.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_87.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_88.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_88.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_89.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_89.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_9.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_9.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_90.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_90.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_91.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_91.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_92.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_92.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_93.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_93.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_94.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_94.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_95.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_95.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_96.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_96.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_97.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_97.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_98.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_98.json -------------------------------------------------------------------------------- /ProofWriter_test_all/output_99.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/output_99.json -------------------------------------------------------------------------------- /ProofWriter_test_all/prompt.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/ProofWriter_test_all/prompt.txt -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/README.md -------------------------------------------------------------------------------- /gpt4prompt.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/gpt4prompt.py -------------------------------------------------------------------------------- /gpt4prompt_FOLIO.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/gpt4prompt_FOLIO.py -------------------------------------------------------------------------------- /leanpkg.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/leanpkg.toml -------------------------------------------------------------------------------- /llmprompt.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/llmprompt.py -------------------------------------------------------------------------------- /output_prompt/.output2.lean.swp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/output_prompt/.output2.lean.swp -------------------------------------------------------------------------------- /output_prompt/output1.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/output_prompt/output1.lean -------------------------------------------------------------------------------- /output_prompt/output2.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/output_prompt/output2.lean -------------------------------------------------------------------------------- /output_prompt/output2_short.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/output_prompt/output2_short.lean -------------------------------------------------------------------------------- /output_prompt/output3.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/output_prompt/output3.lean -------------------------------------------------------------------------------- /output_prompt/output3_short.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/output_prompt/output3_short.lean -------------------------------------------------------------------------------- /output_prompt/output4.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/output_prompt/output4.lean -------------------------------------------------------------------------------- /output_prompt/output4_short.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/output_prompt/output4_short.lean -------------------------------------------------------------------------------- /output_prompt/output5.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/output_prompt/output5.lean -------------------------------------------------------------------------------- /output_prompt/output5_short.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/output_prompt/output5_short.lean -------------------------------------------------------------------------------- /output_prompt/output6_short.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/output_prompt/output6_short.lean -------------------------------------------------------------------------------- /output_prompt/output_false.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/output_prompt/output_false.lean -------------------------------------------------------------------------------- /output_prompt/output_false_COT.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/output_prompt/output_false_COT.lean -------------------------------------------------------------------------------- /output_prompt/output_false_proof.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/output_prompt/output_false_proof.lean -------------------------------------------------------------------------------- /output_prompt/output_true.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/output_prompt/output_true.lean -------------------------------------------------------------------------------- /output_prompt/output_true_COT.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/output_prompt/output_true_COT.lean -------------------------------------------------------------------------------- /output_prompt/output_true_proof.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/output_prompt/output_true_proof.lean -------------------------------------------------------------------------------- /output_prompt/output_unknown.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/output_prompt/output_unknown.lean -------------------------------------------------------------------------------- /output_prompt/output_unknown_COT.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/output_prompt/output_unknown_COT.lean -------------------------------------------------------------------------------- /prompts.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Some-random/theorem-proving-reasoning/HEAD/prompts.py --------------------------------------------------------------------------------