2022-04-12 spolu@openai.com 1585ac4d2e56a1ceb72243ce859645b9d0069d34 src/repl.lean
2022-04-12 765874234@qq.com bc5e772932d0c0b9ccbcdf822701347938753c05 src/repl.lean
2022-02-17 spolu@openai.com e008a76c016bffb7b851db35d8ea1b152f231ba9 src/repl.lean
2022-02-17 spolu@openai.com 329f10acd66548a76020c824d3fdb169188e1afe src/tools/try_finish.lean
2022-02-17 spolu@openai.com 329f10acd66548a76020c824d3fdb169188e1afe src/util/io.lean
2022-02-17 spolu@openai.com e8bb4248d1c98a7b5f9c82160184409924cd4e34 src/tools/try_finish.lean
2022-02-17 spolu@openai.com e8bb4248d1c98a7b5f9c82160184409924cd4e34 src/util/io.lean
2022-02-17 spolu@openai.com 6544730dd37f32313d8fd21178c416cec38ee66f README.md
2022-02-17 spolu@openai.com 6544730dd37f32313d8fd21178c416cec38ee66f leanpkg.toml
2022-02-17 spolu@openai.com 6544730dd37f32313d8fd21178c416cec38ee66f leanpkg_mathlib.toml
2022-02-17 spolu@openai.com 6544730dd37f32313d8fd21178c416cec38ee66f leanpkg_miniF2F.toml
2022-02-17 spolu@openai.com 6544730dd37f32313d8fd21178c416cec38ee66f scripts/setup_miniF2F.sh
2022-02-17 spolu@openai.com 6544730dd37f32313d8fd21178c416cec38ee66f src/util/io.lean
2022-02-17 spolu@openai.com 2ebaf0dc909c7bcb03a8477a708345aea6e13dc4 scripts/setup_miniF2F.sh
2022-02-17 spolu@openai.com 2ebaf0dc909c7bcb03a8477a708345aea6e13dc4 src/util/io.lean
2022-02-16 spolu@openai.com 6473d2ca6ef9a5e3a5a5d40706a4b99a39a831ec README.md
2022-02-16 spolu@openai.com f14f6c2fbb391a6b5ec0cd8a240d886fb255f6f9 README.md
2022-02-16 spolu@openai.com f14f6c2fbb391a6b5ec0cd8a240d886fb255f6f9 leanpkg.toml
2022-02-16 spolu@openai.com f14f6c2fbb391a6b5ec0cd8a240d886fb255f6f9 leanpkg_mathlib.toml
2022-02-16 spolu@openai.com f14f6c2fbb391a6b5ec0cd8a240d886fb255f6f9 leanpkg_miniF2F.toml
2022-02-16 spolu@openai.com 57e24488598311bcec4a3329d8f948733249b9dc leanpkg.toml
2022-02-16 spolu@openai.com 57e24488598311bcec4a3329d8f948733249b9dc src/repl.lean
2022-02-16 spolu@openai.com 57e24488598311bcec4a3329d8f948733249b9dc src/tools/filter_decls.lean
2022-02-16 spolu@openai.com 57e24488598311bcec4a3329d8f948733249b9dc src/tools/shrink_proof.lean
2022-02-16 spolu@openai.com 57e24488598311bcec4a3329d8f948733249b9dc src/tools/try_finish.lean
2022-02-16 spolu@openai.com 57e24488598311bcec4a3329d8f948733249b9dc src/util/io.lean
2022-02-16 spolu@openai.com 57e24488598311bcec4a3329d8f948733249b9dc src/util/tactic.lean
2022-02-16 dselsam@openai.com ecef0e92687ae1fcd76e9d1e5d435c5c90a38148 src/repl.lean
2022-02-16 dselsam@openai.com a994e97fc8540123922ef702563def819274ca51 src/repl.lean
2022-02-16 dselsam@openai.com 958e80ffb48c1f781eaada79d75f3b45c6cdc2eb src/tools/filter_decls.lean
2022-02-16 dselsam@openai.com 6818de953da9cc45e715b51bc650875d735b0599 src/util/tactic.lean
2022-02-16 dselsam@openai.com 11c2b5fb3fbc7634666e10b29d72f7345577e890 src/repl.lean
2022-02-16 dselsam@openai.com 11c2b5fb3fbc7634666e10b29d72f7345577e890 src/util/tactic.lean
2022-02-15 dselsam@openai.com aa0f5e363e93adab8a45b43cb209ddf90991cb52 src/tools/try_finish.lean
2022-02-15 dselsam@openai.com 1b0bcebce9117027c285d4d36d5767f770ba7bc9 src/repl.lean
2022-02-15 dselsam@openai.com 1b0bcebce9117027c285d4d36d5767f770ba7bc9 src/tools/try_finish.lean
2022-02-15 dselsam@openai.com 1b0bcebce9117027c285d4d36d5767f770ba7bc9 src/util/io.lean
2022-02-10 dselsam@openai.com ebe7c27c373aeafac005b37d3ab54ae7425b0b89 src/repl.lean
2022-02-10 dselsam@openai.com ef2b81b7c3f76e31bc45b60acddb17c4eccd0106 src/tools/shrink_proof.lean
2022-02-08 dselsam@openai.com 6632c65dd24acb671531bde3f9f084b5703953df src/repl.lean
2022-02-08 dselsam@openai.com 11df05e898edc8df026b5e3ab5d97a39898996de src/tools/shrink_proof.lean
2022-02-08 dselsam@openai.com de5d20bf519d52f83d000a0d71a3d9b4c746f2e2 leanpkg.toml
2022-02-08 dselsam@openai.com de5d20bf519d52f83d000a0d71a3d9b4c746f2e2 src/repl.lean
2022-02-08 dselsam@openai.com de5d20bf519d52f83d000a0d71a3d9b4c746f2e2 src/tools/shrink_proof.lean
2022-02-08 dselsam@openai.com de5d20bf519d52f83d000a0d71a3d9b4c746f2e2 src/util/io.lean
2022-02-04 dselsam@openai.com dcb96d2f14179a6a50c8b20863637238d213c47b src/repl.lean
2022-02-04 dselsam@openai.com dcb96d2f14179a6a50c8b20863637238d213c47b src/tools/shrink_proof.lean
2022-02-04 dselsam@openai.com dcb96d2f14179a6a50c8b20863637238d213c47b src/util/io.lean
2022-02-04 dselsam@openai.com 2f648d05c4487b78182e5b11c702b27c5270d21a src/repl.lean
2022-02-04 dselsam@openai.com 2f648d05c4487b78182e5b11c702b27c5270d21a src/tools/shrink_proof.lean
2022-02-07 spolu@openai.com e3a19642c1d3ee3dbf494177f1e9ec1a1ef032b4 scripts/setup.sh
2022-02-07 spolu@openai.com e3a19642c1d3ee3dbf494177f1e9ec1a1ef032b4 tests/test_validate_proof.lean
2022-02-07 spolu@openai.com b2e6acd4232bb40f400c9ab27e09b76f7ee9b85a README.md
2022-02-07 spolu@openai.com 70868c5959b2e740fbdb8dda72e3e4c2c765bbc9 leanpkg.toml
2022-02-07 spolu@openai.com 70868c5959b2e740fbdb8dda72e3e4c2c765bbc9 leanpkg_mathlib.toml
2022-02-07 spolu@openai.com 70868c5959b2e740fbdb8dda72e3e4c2c765bbc9 leanpkg_miniF2F.toml
2022-02-07 spolu@openai.com 70868c5959b2e740fbdb8dda72e3e4c2c765bbc9 src/basic/control.lean
2022-02-07 spolu@openai.com 70868c5959b2e740fbdb8dda72e3e4c2c765bbc9 src/repl.lean
2022-02-07 spolu@openai.com 70868c5959b2e740fbdb8dda72e3e4c2c765bbc9 src/tools/filter_decls.lean
2022-02-07 spolu@openai.com 70868c5959b2e740fbdb8dda72e3e4c2c765bbc9 src/util/io.lean
2022-02-07 spolu@openai.com 70868c5959b2e740fbdb8dda72e3e4c2c765bbc9 src/util/tactic.lean
2022-02-07 spolu@openai.com 70868c5959b2e740fbdb8dda72e3e4c2c765bbc9 src/util/util.lean
2022-02-05 spolu@openai.com 2d136770073f4f2575462b3db411cc9ef96300bc leanpkg.toml
2022-02-05 spolu@openai.com 2d136770073f4f2575462b3db411cc9ef96300bc src/basic/control.lean
2022-02-05 spolu@openai.com d27deee766f1a1384362eee35050407fabf8affa leanpkg.toml
2022-02-05 spolu@openai.com d27deee766f1a1384362eee35050407fabf8affa leanpkg_mathlib.toml
2022-02-05 spolu@openai.com d27deee766f1a1384362eee35050407fabf8affa leanpkg_miniF2F.toml
2022-02-05 spolu@openai.com d27deee766f1a1384362eee35050407fabf8affa src/basic/control.lean
2022-02-05 spolu@openai.com d27deee766f1a1384362eee35050407fabf8affa src/repl.lean
2022-02-05 spolu@openai.com d27deee766f1a1384362eee35050407fabf8affa src/tools/filter_decls.lean
2022-02-05 spolu@openai.com d27deee766f1a1384362eee35050407fabf8affa src/util/io.lean
2022-02-05 spolu@openai.com d27deee766f1a1384362eee35050407fabf8affa src/util/tactic.lean
2022-02-05 spolu@openai.com d27deee766f1a1384362eee35050407fabf8affa src/util/util.lean
2022-02-04 dselsam@openai.com cdf96397e297dfeb93f40af91587da615c17f449 leanpkg.toml
2022-02-04 dselsam@openai.com cdf96397e297dfeb93f40af91587da615c17f449 leanpkg_miniF2F.toml
2022-02-04 dselsam@openai.com cdf96397e297dfeb93f40af91587da615c17f449 src/basic/table.lean
2022-01-21 spolu@openai.com f039ae7c34b689007da988df0826e9ff0a157571 leanpkg.toml
2022-01-21 spolu@openai.com f039ae7c34b689007da988df0826e9ff0a157571 leanpkg_miniF2F.toml
2021-11-16 kahegbeb@purdue.edu 121881d60c6a7d92025b2a4320cb98a67fce1f7b src/repl.lean
2021-11-15 spolu@openai.com 8d291067c46ec8512e6a13ea8017770b02ac1c5f src/repl.lean
2021-11-12 spolu@openai.com a5d3b9b7358264c5573ded0b4cd5e31eabcd6681 src/repl.lean
2021-11-12 spolu@openai.com b62637a250dc05f67e945cb1da9dee81acf0217c src/repl.lean
2021-11-12 spolu@openai.com b62637a250dc05f67e945cb1da9dee81acf0217c tests/test_validate_proof.lean
2021-11-12 spolu@openai.com 48dc02eb622b997de8cd521bcc54ac46e230d640 src/repl.lean
2021-11-12 spolu@openai.com ce4691d43875e5b93ba08c07f901bf9feda38fdf src/repl.lean
2021-11-12 spolu@openai.com 5d03972717af92d4e1ace2268f6b278815f8037a src/repl.lean
2021-11-12 spolu@openai.com f5b22d772672aa039977eae49b6087052406d2d0 src/repl.lean
2021-11-12 spolu@openai.com f5b22d772672aa039977eae49b6087052406d2d0 src/util/conjecture.lean
2021-11-10 scikud00@gmail.com 2acfd26a51684b927b5df61d4b9dbc27c219c74a src/basic/conjecture_tactics.lean
2021-11-10 scikud00@gmail.com 1910a1aa6d5d05fafda0ce2cb4372ced384afcc3 src/basic/conjecture_tactics.lean
2021-11-10 scikud00@gmail.com 1910a1aa6d5d05fafda0ce2cb4372ced384afcc3 src/repl.lean
2021-11-10 scikud00@gmail.com 1910a1aa6d5d05fafda0ce2cb4372ced384afcc3 tests/test_validate_proof.lean
2021-11-09 scikud00@gmail.com 69e1c71777e34e96b25bb718eae2e4d708d27daf src/basic/conjecture_tactics.lean
2021-11-09 scikud00@gmail.com 69e1c71777e34e96b25bb718eae2e4d708d27daf src/repl.lean
2021-11-09 scikud00@gmail.com 69e1c71777e34e96b25bb718eae2e4d708d27daf tests/test_validate_proof.lean
2021-11-05 scikud00@gmail.com 5f82259164c4450271e3befc6f5c59e3acdabf52 src/repl.lean
2021-11-05 scikud00@gmail.com 62da5819a5f5008e509ebd3eefa15f1346d76e68 src/basic/conjecture_tactics.lean
2021-11-05 scikud00@gmail.com 62da5819a5f5008e509ebd3eefa15f1346d76e68 src/repl.lean
2021-11-05 scikud00@gmail.com 7863d1e051129d5256ec4212034956f21ea312d1 src/basic/conjecture_tactics.lean
2021-11-04 scikud00@gmail.com e9953a24bfb4429603f9c4b41391d185d37f56a5 src/basic/conjecture_tactics.lean
2021-11-04 scikud00@gmail.com 09055dab36de3a1f1878ac89aec1c24231d07ab1 src/basic/conjecture_tactics.lean
2021-11-04 scikud00@gmail.com 09055dab36de3a1f1878ac89aec1c24231d07ab1 src/repl.lean
2021-11-04 scikud00@gmail.com 09055dab36de3a1f1878ac89aec1c24231d07ab1 tests/test_validate_proof.lean
2021-11-04 scikud00@gmail.com 6fa0196984b3b6af8916441a01f645f9cfee2037 src/conjecture_tactics.lean
2021-11-04 scikud00@gmail.com 88a810ec1de4a97bf0c73dfc76a1c30e5c73cfac src/conjecture_tactics.lean
2021-11-03 scikud00@gmail.com 13e3d7f900edcc6722b6df15bd8b59e5e01338da src/conjecture_tactics.lean
2021-11-02 scikud00@gmail.com a6bd9fecdf80242911d1f785bcad99989087862f src/conjecture_tactics.lean
2021-11-01 scikud00@gmail.com cdc329b8c3aa0b558bda52a4a3732f737c9eb10c conjecture_tactics.lean
2021-10-12 hyrodi@gmail.com ff488bc34f3ac5cf8be411f87187d85d453f146d src/repl.lean
2021-10-06 spolu@openai.com a1ca851b7c09eca1f72be2d059e3ed5536348b0b leanpkg.toml
2021-10-06 spolu@openai.com a1ca851b7c09eca1f72be2d059e3ed5536348b0b leanpkg_miniF2F.toml
2021-10-01 spolu@openai.com 69978e45acdc0d95ee7e0df0d2cfb8eb5c0cdcdb leanpkg.toml
2021-10-01 spolu@openai.com 69978e45acdc0d95ee7e0df0d2cfb8eb5c0cdcdb leanpkg_miniF2F.toml
2021-09-30 spolu@protonmail.com fab9ef891bd9e983a26f636172ff0cbf89ca3d88 leanpkg.toml
2021-09-30 spolu@protonmail.com fab9ef891bd9e983a26f636172ff0cbf89ca3d88 leanpkg_mathlib.toml
2021-09-30 spolu@protonmail.com fab9ef891bd9e983a26f636172ff0cbf89ca3d88 leanpkg_miniF2F.toml
2021-09-30 spolu@protonmail.com fab9ef891bd9e983a26f636172ff0cbf89ca3d88 src/repl.lean
2021-09-30 spolu@protonmail.com fab9ef891bd9e983a26f636172ff0cbf89ca3d88 src/util/tactic.lean
2021-09-30 spolu@openai.com 0570e550e1e7b0a0c1ecb5b08a54e442faedd75d leanpkg.toml
2021-09-30 spolu@openai.com 0570e550e1e7b0a0c1ecb5b08a54e442faedd75d leanpkg_mathlib.toml
2021-09-30 spolu@openai.com 0570e550e1e7b0a0c1ecb5b08a54e442faedd75d leanpkg_miniF2F.toml
2021-09-29 spolu@openai.com dcb4086c017e053a99be0c6ee177dccb9dd18f5a src/util/tactic.lean
2021-09-29 spolu@openai.com 49b0d3da8367fb1570a99a4c16a834b7af419d3e leanpkg.toml
2021-09-29 spolu@openai.com 49b0d3da8367fb1570a99a4c16a834b7af419d3e leanpkg_mathlib.toml
2021-09-29 spolu@openai.com 49b0d3da8367fb1570a99a4c16a834b7af419d3e leanpkg_miniF2F.toml
2021-09-29 spolu@openai.com 49b0d3da8367fb1570a99a4c16a834b7af419d3e src/repl.lean
2021-09-08 spolu@openai.com a3ce238bf4a988e860fa2e1c21b18143d0f1b27b leanpkg_miniF2F.toml
2021-08-30 spolu@openai.com 0c91fd982aa2d91e43b043ee623422b19d5ee6d1 leanpkg_miniF2F.toml
2021-08-30 spolu@openai.com 4107299f8c8a8a68200d9160f27903b083b60f73 leanpkg_miniF2F.toml
2021-08-29 39395247+jesse-michael-han@users.noreply.github.com a764a12166beab736c73138626338796ed98ea91 src/util/tactic.lean
2021-08-12 dyekuu@qq.com 0c1db797566ca6df4468d1184f8d55dc971e8254 leanpkg_miniF2F.toml
2021-08-12 39208702+DyeKuu@users.noreply.github.com 1b59aaa239b3e1d8559bf46657f34792b2bdc799 README.md
2021-08-12 39208702+DyeKuu@users.noreply.github.com 1b59aaa239b3e1d8559bf46657f34792b2bdc799 leanpkg_miniF2F.toml
2021-08-11 39208702+DyeKuu@users.noreply.github.com 781a7f8bf4a837e712cb9968c97b209b6df9f851 leanpkg_miniF2F.toml
2021-07-21 spolu@openai.com c18a2af99dd7e3b310d96961faa567c8b84dfbea scripts/setup_lean-liquid.sh
2021-07-21 spolu@openai.com c18a2af99dd7e3b310d96961faa567c8b84dfbea scripts/setup_miniF2F.sh
2021-07-21 spolu@openai.com 6ced684a85e50b44e291004a23146b2aaa69b8be leanpkg_miniF2F.toml
2021-06-30 spolu@protonmail.com e540a6516b4d3dc2ceb0328911a17524c48f3cfc leanpkg.toml
2021-06-30 spolu@protonmail.com e540a6516b4d3dc2ceb0328911a17524c48f3cfc leanpkg_lean-liquid.toml
2021-06-30 spolu@protonmail.com e540a6516b4d3dc2ceb0328911a17524c48f3cfc leanpkg_mathlib.toml
2021-06-30 spolu@protonmail.com e540a6516b4d3dc2ceb0328911a17524c48f3cfc leanpkg_miniF2F.toml
2021-06-30 spolu@openai.com 786dfd3179f25a84e2917d50f027133a3da9ea78 leanpkg.toml
2021-06-30 spolu@openai.com 786dfd3179f25a84e2917d50f027133a3da9ea78 leanpkg_lean-liquid.toml
2021-06-30 spolu@openai.com 786dfd3179f25a84e2917d50f027133a3da9ea78 leanpkg_mathlib.toml
2021-06-30 spolu@openai.com 786dfd3179f25a84e2917d50f027133a3da9ea78 leanpkg_miniF2F.toml
2021-06-17 spolu@openai.com e0b7327c9b2e94ab6a2028ac9042a9eca6b6c5f1 leanpkg_miniF2F.toml
2021-06-16 spolu@openai.com ffd6256212fff0c8ee69724dadc8e6ff623df422 leanpkg_miniF2F.toml
2021-06-11 spolu@openai.com ce03c05dd76177bb35110af46b0f1a5dabe2bfbd leanpkg_miniF2F.toml
2021-06-11 spolu@openai.com 7ce4a7451032217e28fbc3aef08481dc288f4011 leanpkg_miniF2F.toml
2021-06-11 spolu@openai.com 2217b103f310b88d02343cc5ea299a3d56f94615 src/repl.lean
2021-06-11 spolu@openai.com 2217b103f310b88d02343cc5ea299a3d56f94615 src/util/io.lean
2021-06-11 spolu@protonmail.com c865f110dd1690df1eb1d7ff84f68d68c870c44c src/repl.lean
2021-06-11 spolu@protonmail.com c865f110dd1690df1eb1d7ff84f68d68c870c44c src/util/tactic.lean
2021-06-11 spolu@openai.com e8c259152dcf83cd70a46fa5ae32365408ddb851 src/repl.lean
2021-06-11 spolu@openai.com 83e35c0172033eaca5630f16e4a3d26a2ec4097e src/repl.lean
2021-06-11 spolu@openai.com 83e35c0172033eaca5630f16e4a3d26a2ec4097e src/util/tactic.lean
2021-06-10 spolu@openai.com 4f4108ff3d7ac2fe0b2a79683e9c0e0ea416f6c8 src/repl.lean
2021-06-10 spolu@openai.com 4f4108ff3d7ac2fe0b2a79683e9c0e0ea416f6c8 src/util/tactic.lean
2021-06-10 spolu@openai.com d9ba816c7ce6aa4e16487a7de7d257e41d865af7 src/repl.lean
2021-06-08 spolu@openai.com e724215490983b07869c544e9a4236361fa257f6 scripts/setup_miniF2F.sh
2021-06-08 spolu@protonmail.com 7bef61477b6c407edf50e20b3d55063c7e75c03a README.md
2021-06-08 spolu@protonmail.com 7bef61477b6c407edf50e20b3d55063c7e75c03a leanpkg_miniF2F.toml
2021-06-08 spolu@protonmail.com 7bef61477b6c407edf50e20b3d55063c7e75c03a src/util/tactic.lean
2021-06-08 spolu@protonmail.com 7bef61477b6c407edf50e20b3d55063c7e75c03a tests/test_validate_proof.lean
2021-06-08 spolu@openai.com 7512cac797bef3c166a899a03d3c9d77dd2425dd leanpkg_miniF2F.toml
2021-06-08 hyrodi@gmail.com cad141f2f88b40934df390a79f7bea301d86813e src/util/tactic.lean
2021-06-08 hyrodi@gmail.com cad141f2f88b40934df390a79f7bea301d86813e tests/test_validate_proof.lean
2021-06-08 spolu@openai.com a52ce61e45bf4627b252b59921643c59f595f390 leanpkg_miniF2F.toml
2021-06-08 hyrodi@gmail.com 6b0bf48418801c61006b8db531c70733fda628a7 src/util/tactic.lean
2021-06-08 spolu@openai.com ce23c13a31ef46e72f0c68738e32982cfa542560 leanpkg_miniF2F.toml
2021-06-08 spolu@openai.com 00b5fb222138c0691890db982b705d11e861eead README.md
2021-06-08 spolu@openai.com 00b5fb222138c0691890db982b705d11e861eead src/util/tactic.lean
2021-06-07 spolu@protonmail.com 743c86b71e8615290dc80255fe849d25797e35a1 README.md
2021-06-07 spolu@protonmail.com 743c86b71e8615290dc80255fe849d25797e35a1 leanpkg.toml
2021-06-07 spolu@protonmail.com 743c86b71e8615290dc80255fe849d25797e35a1 leanpkg_miniF2F.toml
2021-06-07 spolu@protonmail.com 743c86b71e8615290dc80255fe849d25797e35a1 scripts/setup_miniF2F.sh
2021-06-07 spolu@protonmail.com 743c86b71e8615290dc80255fe849d25797e35a1 src/repl.lean
2021-06-07 spolu@protonmail.com 743c86b71e8615290dc80255fe849d25797e35a1 src/util/tactic.lean
2021-06-07 spolu@openai.com b6e765c23128eb56c21ee34cb70b855239b8caad leanpkg_miniF2F.toml
2021-06-07 spolu@openai.com e629c0b9b1d3b5792e2163810870db7cf1ffcc3e leanpkg.toml
2021-06-07 spolu@openai.com e629c0b9b1d3b5792e2163810870db7cf1ffcc3e leanpkg_miniF2F.toml
2021-06-07 spolu@openai.com 908aa220acdbfce7e68f3d3c2b914d278057013f src/repl.lean
2021-06-07 spolu@openai.com 908aa220acdbfce7e68f3d3c2b914d278057013f src/util/tactic.lean
2021-06-07 spolu@openai.com f9eeec379e80a72c934d797049b91994c5daf384 src/repl.lean
2021-06-07 spolu@openai.com 1e4c520716d53b053f026fdf25cb3cf585b90ace scripts/setup_miniF2F.sh
2021-06-07 spolu@openai.com 0df4dd6bac765a6128349606d9fc3e7a64aad5b4 README.md
2021-06-07 spolu@openai.com 0df4dd6bac765a6128349606d9fc3e7a64aad5b4 leanpkg.toml
2021-06-07 spolu@openai.com 0df4dd6bac765a6128349606d9fc3e7a64aad5b4 leanpkg_miniF2F.toml
2021-06-07 spolu@openai.com 0df4dd6bac765a6128349606d9fc3e7a64aad5b4 scripts/setup_miniF2F.sh
2021-06-07 spolu@openai.com 0df4dd6bac765a6128349606d9fc3e7a64aad5b4 src/repl.lean
2021-06-07 spolu@openai.com 0df4dd6bac765a6128349606d9fc3e7a64aad5b4 src/util/tactic.lean
2021-06-07 spolu@openai.com c4c7059c3d2bdd9b9110feb703f56edc66abf06b src/repl.lean
2021-06-07 spolu@openai.com c4c7059c3d2bdd9b9110feb703f56edc66abf06b src/util/tactic.lean
2021-06-07 spolu@openai.com 3e41e212496c7f66899a0398ff5bcd19c7d45c8d src/util/tactic.lean
2021-06-07 spolu@openai.com 6e895beaf89426068462747f4e08648801cea424 src/repl.lean
2021-06-07 spolu@openai.com 00b322bde4916537617747f4d5f70a40d174057e src/repl.lean
2021-06-07 spolu@openai.com 00b322bde4916537617747f4d5f70a40d174057e src/util/tactic.lean
2021-06-01 spolu@openai.com f4a94fcf54f8729be416ebdca82097d95a6f1c39 leanpkg_miniF2F.toml
2021-06-01 spolu@openai.com f4a94fcf54f8729be416ebdca82097d95a6f1c39 scripts/setup_miniF2F.sh
2021-06-01 spolu@openai.com 9e4375d02dbb2dd5e1008e10dec70b18a1f98b66 src/util/io.lean
2021-06-01 spolu@openai.com 624ad609a6ad3ebf82d44190fed24c8afc5d3d73 README.md
2021-06-01 spolu@openai.com 624ad609a6ad3ebf82d44190fed24c8afc5d3d73 src/repl.lean
2021-06-01 spolu@protonmail.com b6de87f54b8927ba21b900a1a17e6192321043e9 README.md
2021-06-01 spolu@protonmail.com b6de87f54b8927ba21b900a1a17e6192321043e9 src/repl.lean
2021-06-01 spolu@protonmail.com b6de87f54b8927ba21b900a1a17e6192321043e9 src/util/io.lean
2021-06-01 spolu@protonmail.com b6de87f54b8927ba21b900a1a17e6192321043e9 src/util/tactic.lean
2021-06-01 spolu@openai.com 2b4951db8c7f25b1198ad6d54f19d996b6773ca2 src/repl.lean
2021-06-01 spolu@openai.com 2b4951db8c7f25b1198ad6d54f19d996b6773ca2 src/util/io.lean
2021-06-01 spolu@openai.com 2b4951db8c7f25b1198ad6d54f19d996b6773ca2 src/util/tactic.lean
2021-06-01 spolu@openai.com f37eefe3fb1505542867224f7ae7df04e0437608 src/repl.lean
2021-05-31 spolu@openai.com 390ec72cfae767d8558f2792440a52a06a96eb46 src/repl.lean
2021-05-31 spolu@openai.com 54740d28d15713a5898ac4ce419bea648630fc0f src/repl.lean
2021-05-31 spolu@openai.com 7a70c17ea0f9e8bc9289671029dd7d001be32794 src/repl.lean
2021-05-31 spolu@openai.com 4c92c2564c6fcc7721fc8dc56ec135fd4fff7251 src/repl.lean
2021-05-31 spolu@openai.com 0e9aff1f498602954ce3d02e9129933ef3770206 README.md
2021-05-31 spolu@openai.com 3b1af62adcc256863da415424944be6128e762f9 README.md
2021-05-31 spolu@openai.com 3b1af62adcc256863da415424944be6128e762f9 src/repl.lean
2021-05-31 spolu@openai.com 84ded6c3732d3800b867734a3c9c9f99b61f63d8 README.md
2021-05-31 spolu@openai.com 84ded6c3732d3800b867734a3c9c9f99b61f63d8 src/repl.lean
2021-05-31 spolu@openai.com 1e6b02f15415ab16b891fc437fff7758dceef464 README.md
2021-05-31 spolu@openai.com 4422fcc1a6db765f006220484de245f3dc7ed5da src/repl.lean
2021-05-31 spolu@openai.com 45c11028981f8f59bc28b88f026dbeeceae58b6b src/repl.lean
2021-05-31 hyrodi@gmail.com 54eed763277ac13389c638e785602771467b9acc src/repl.lean
2021-05-31 hyrodi@gmail.com 54eed763277ac13389c638e785602771467b9acc src/util/io.lean
2021-05-31 spolu@openai.com 8a45d59f22b19c5ced3feceb9b0d711bead0cc84 src/repl.lean
2021-05-31 spolu@openai.com 48d2228f979f3cb0c3863d13a5eca939d9ec4806 README.md
2021-05-31 spolu@openai.com 48d2228f979f3cb0c3863d13a5eca939d9ec4806 src/repl.lean
2021-05-31 spolu@openai.com 10489ce70f1256cd4b6c0b1e8fd0bef061f1aa25 data/lean-liquid-test.names
2021-05-31 spolu@openai.com 10489ce70f1256cd4b6c0b1e8fd0bef061f1aa25 data/lean-liquid-train.names
2021-05-31 spolu@openai.com 10489ce70f1256cd4b6c0b1e8fd0bef061f1aa25 data/lean-liquid-valid.names
2021-05-31 spolu@openai.com 10489ce70f1256cd4b6c0b1e8fd0bef061f1aa25 data/mathlib-test.names
2021-05-31 spolu@openai.com 10489ce70f1256cd4b6c0b1e8fd0bef061f1aa25 data/mathlib-train.names
2021-05-31 spolu@openai.com 10489ce70f1256cd4b6c0b1e8fd0bef061f1aa25 data/mathlib-valid.names
2021-05-30 hyrodi@gmail.com fbb4b8c58b87de9a10eec2e10522d9b37eb69008 src/util/tactic.lean
2021-05-30 39395247+jesse-michael-han@users.noreply.github.com dd4ffd106828c9382373fcc3a89b2ed6bb220aba src/util/tactic.lean
2021-05-28 spolu@openai.com 969c03e3d86f2e10547a343d4c2b35437d054c88 README.md
2021-05-28 spolu@openai.com 969c03e3d86f2e10547a343d4c2b35437d054c88 leanpkg_lean-liquid.toml
2021-05-28 spolu@openai.com 969c03e3d86f2e10547a343d4c2b35437d054c88 leanpkg_mathlib.toml
2021-05-28 spolu@openai.com 969c03e3d86f2e10547a343d4c2b35437d054c88 scripts/setup.sh
2021-05-28 spolu@openai.com 969c03e3d86f2e10547a343d4c2b35437d054c88 scripts/setup_lean-liquid.sh
2021-05-28 spolu@openai.com 969c03e3d86f2e10547a343d4c2b35437d054c88 scripts/setup_mathlib.sh
2021-05-28 spolu@openai.com 969c03e3d86f2e10547a343d4c2b35437d054c88 src/repl.lean
2021-05-27 spolu@openai.com 83cabe6809449afcdd665e575c3a8feb438b7174 src/tools/filter_decls.lean
2021-05-27 spolu@openai.com 6453cadb99b420e1f1038ecfa0942715e16d088a src/tools/filter_decls.lean
2021-05-27 spolu@openai.com 8a7c6521ae1dab2832200a9bea0fee3b50383f7a README.md
2021-05-27 spolu@openai.com 8a7c6521ae1dab2832200a9bea0fee3b50383f7a src/repl.lean
2021-05-26 39395247+jesse-michael-han@users.noreply.github.com 10a5dbf07db9f78598492c2e51c923f7af4567e8 .gitignore
2021-05-26 39395247+jesse-michael-han@users.noreply.github.com 10a5dbf07db9f78598492c2e51c923f7af4567e8 README.md
2021-05-26 39395247+jesse-michael-han@users.noreply.github.com 10a5dbf07db9f78598492c2e51c923f7af4567e8 setup.sh
2021-05-26 39395247+jesse-michael-han@users.noreply.github.com 10a5dbf07db9f78598492c2e51c923f7af4567e8 src/repl.lean
2021-05-26 39395247+jesse-michael-han@users.noreply.github.com 10a5dbf07db9f78598492c2e51c923f7af4567e8 src/util/tactic.lean
2021-05-25 spolu@openai.com 9efbe33ac4acc65b6c72b70931baa7b8f7133a20 README.md
2021-05-25 spolu@openai.com 9a2cdffaeef8b8319c70a5f20e2e7456bcd9dca0 README.md
2021-05-25 spolu@openai.com 1a444a2cac6710a250457329e1a9e8c9582d4d97 LICENSE
2021-05-25 spolu@openai.com 1a444a2cac6710a250457329e1a9e8c9582d4d97 README.md
2021-05-25 spolu@openai.com e367e0fe450781d9aa5693f605fe7375a1e27c76 src/basic/list.lean
2021-05-25 spolu@openai.com e367e0fe450781d9aa5693f605fe7375a1e27c76 src/basic/table.lean
2021-05-25 spolu@openai.com e367e0fe450781d9aa5693f605fe7375a1e27c76 src/repl.lean
2021-05-25 spolu@openai.com e367e0fe450781d9aa5693f605fe7375a1e27c76 src/util/io.lean
2021-05-25 spolu@openai.com e367e0fe450781d9aa5693f605fe7375a1e27c76 src/util/tactic.lean
2021-05-25 spolu@openai.com 93580983f54b4b43f14352bda7ef77071cf68aad src/repl.lean
2021-05-25 spolu@openai.com 93580983f54b4b43f14352bda7ef77071cf68aad src/util/io.lean
2021-05-25 spolu@openai.com 93580983f54b4b43f14352bda7ef77071cf68aad src/util/tactic.lean
2021-05-24 spolu@openai.com 7ef834253546edfb9041e99c8c3f6c5fe3680a11 leanpkg.toml
2021-05-24 spolu@openai.com 7ef834253546edfb9041e99c8c3f6c5fe3680a11 src/basic/list.lean
2021-05-24 spolu@openai.com 7ef834253546edfb9041e99c8c3f6c5fe3680a11 src/basic/table.lean
2021-05-24 spolu@openai.com 7ef834253546edfb9041e99c8c3f6c5fe3680a11 src/repl.lean
2021-05-24 spolu@openai.com 7ef834253546edfb9041e99c8c3f6c5fe3680a11 src/util/io.lean
2021-05-24 spolu@openai.com 7ef834253546edfb9041e99c8c3f6c5fe3680a11 src/util/tactic.lean
2021-05-24 spolu@openai.com d39d06e4f5e3cfacd013a5db4fb7bd1a1fce01c1 src/repl.lean
2021-05-24 spolu@openai.com d39d06e4f5e3cfacd013a5db4fb7bd1a1fce01c1 src/util/json.lean
2021-05-24 spolu@openai.com d39d06e4f5e3cfacd013a5db4fb7bd1a1fce01c1 src/util/tactic.lean
2021-05-22 spolu@openai.com b61581fb0dee2461d23d9f3efba8efceaab7b1ef src/repl.lean
2021-05-21 spolu@openai.com be80a49943e2ecd4c0ca01a80d456a8addcf9958 src/repl.lean
2021-05-21 spolu@openai.com 4d231fd40a766db28804e106bb8c4c7007b34fa2 src/repl.lean
2021-05-21 spolu@openai.com 4d231fd40a766db28804e106bb8c4c7007b34fa2 src/util/tactic.lean
2021-05-21 spolu@openai.com 22b89810c44e1acb170146464ef76fac1e563f1f .gitignore
2021-05-21 spolu@openai.com 22b89810c44e1acb170146464ef76fac1e563f1f src/repl.lean
2021-05-21 spolu@openai.com 22b89810c44e1acb170146464ef76fac1e563f1f src/tactic_state.lean
2021-05-21 spolu@openai.com 22b89810c44e1acb170146464ef76fac1e563f1f src/util/format.lean
2021-05-21 spolu@openai.com 22b89810c44e1acb170146464ef76fac1e563f1f src/util/io.lean
2021-05-21 spolu@openai.com 22b89810c44e1acb170146464ef76fac1e563f1f src/util/macros.lean
2021-05-21 spolu@openai.com 22b89810c44e1acb170146464ef76fac1e563f1f src/util/tactic.lean
