formal-conjectures

(★ 1,195)

A collection of formalized statements of conjectures in Lean.

파일 탐색기

최종 버전 다운로드 (.zip)

- devcontainer.json
- - misformlization_report.md
  - new_conjecture_request.md
  - new_erdos_problem.md
- - build-and-docs.yml
  - check_copyright_header.yml
  - check_erdos_status.yml
  - labeler.yml
  - labels_from_comments.yml
  - lean-release-tag.yml
  - update_erdosproblems.yml
  - welcome_pull_request.yml
- labeler.yml
- copyright.code-snippets
- erdos.code-snippets
- extensions.json
- settings.json
- lake-manifest.json
- lakefile.toml
- lean-toolchain
- - BorweinSineSeries.lean
- - 1.lean
  - 10.lean
  - 100.lean
  - 1000.lean
  - 1002.lean
  - 1003.lean
  - 1004.lean
  - 1007.lean
  - 1008.lean
  - 101.lean
  - 1014.lean
  - 1022.lean
  - 1023.lean
  - 1026.lean
  - 1028.lean
  - 1034.lean
  - 1036.lean
  - 1037.lean
  - 1038.lean
  - 1041.lean
  - 1043.lean
  - 1044.lean
  - 1047.lean
  - 1048.lean
  - 1049.lean
  - 105.lean
  - 1051.lean
  - 1052.lean
  - 1054.lean
  - 1055.lean
  - 1056.lean
  - 1057.lean
  - 1059.lean
  - 1060.lean
  - 1061.lean
  - 1062.lean
  - 1063.lean
  - 1064.lean
  - 1065.lean
  - 1067.lean
  - 1068.lean
  - 107.lean
  - 1071.lean
  - 1072.lean
  - 1073.lean
  - 1074.lean
  - 1077.lean
  - 108.lean
  - 1080.lean
  - 1082.lean
  - 1084.lean
  - 1085.lean
  - 109.lean
  - 1090.lean
  - 1092.lean
  - 1093.lean
  - 1094.lean
  - 1095.lean
  - 1096.lean
  - 1097.lean
  - 1098.lean
  - 11.lean
  - 1101.lean
  - 1102.lean
  - 1104.lean
  - 1105.lean
  - 1106.lean
  - 1107.lean
  - 1108.lean
  - 1109.lean
  - 1110.lean
  - 1113.lean
  - 1119.lean
  - 1121.lean
  - 1125.lean
  - 1126.lean
  - 1128.lean
  - 1133.lean
  - 1135.lean
  - 1136.lean
  - 1137.lean
  - 1138.lean
  - 1139.lean
  - 1141.lean
  - 1142.lean
  - 1145.lean
  - 1146.lean
  - 1148.lean
  - 115.lean
  - 1150.lean
  - 1167.lean
  - 1175.lean
  - 1176.lean
  - 1188.lean
  - 119.lean
  - 1190.lean
  - 1192.lean
  - 1193.lean
  - 1196.lean
  - 1199.lean
  - 12.lean
  - 120.lean
  - 1201.lean
  - 1203.lean
  - 1209.lean
  - 1210.lean
  - 1212.lean
  - 1214.lean
  - 123.lean
  - 124.lean
  - 125.lean
  - 126.lean
  - 128.lean
  - 13.lean
  - 130.lean
  - 134.lean
  - 137.lean
  - 138.lean
  - 139.lean
  - 14.lean
  - 141.lean
  - 142.lean
  - 143.lean
  - 145.lean
  - 146.lean
  - 15.lean
  - 150.lean
  - 152.lean
  - 153.lean
  - 154.lean
  - 155.lean
  - 156.lean
  - 158.lean
  - 16.lean
  - 160.lean
  - 164.lean
  - 168.lean
  - 17.lean
  - 170.lean
  - 172.lean
  - 178.lean
  - 18.lean
  - 180.lean
  - 183.lean
  - 184.lean
  - 188.lean
  - 189.lean
  - 193.lean
  - 194.lean
  - 195.lean
  - 196.lean
  - 197.lean
  - 198.lean
  - 199.lean
  - 20.lean
  - 200.lean
  - 202.lean
  - 203.lean
  - 204.lean
  - 205.lean
  - 206.lean
  - 208.lean
  - 209.lean
  - 212.lean
  - 213.lean
  - 214.lean
  - 218.lean
  - 219.lean
  - 22.lean
  - 221.lean
  - 224.lean
  - 226.lean
  - 228.lean
  - 229.lean
  - 23.lean
  - 233.lean
  - 234.lean
  - 236.lean
  - 238.lean
  - 239.lean
  - 24.lean
  - 241.lean
  - 242.lean
  - 243.lean
  - 244.lean
  - 245.lean
  - 246.lean
  - 247.lean
  - 248.lean
  - 249.lean
  - 25.lean
  - 250.lean
  - 251.lean
  - 252.lean
  - 253.lean
  - 254.lean
  - 257.lean
  - 258.lean
  - 259.lean
  - 26.lean
  - 260.lean
  - 263.lean
  - 264.lean
  - 266.lean
  - 267.lean
  - 268.lean
  - 269.lean
  - 272.lean
  - 273.lean
  - 274.lean
  - 275.lean
  - 276.lean
  - 277.lean
  - 279.lean
  - 28.lean
  - 280.lean
  - 281.lean
  - 282.lean
  - 283.lean
  - 285.lean
  - 287.lean
  - 288.lean
  - 289.lean
  - 290.lean
  - 291.lean
  - 295.lean
  - 296.lean
  - 298.lean
  - 299.lean
  - 3.lean
  - 30.lean
  - 302.lean
  - 303.lean
  - 304.lean
  - 306.lean
  - 307.lean
  - 31.lean
  - 312.lean
  - 313.lean
  - 314.lean
  - 315.lean
  - 316.lean
  - 317.lean
  - 318.lean
  - 319.lean
  - 32.lean
  - 321.lean
  - 323.lean
  - 324.lean
  - 325.lean
  - 326.lean
  - 328.lean
  - 329.lean
  - 33.lean
  - 330.lean
  - 331.lean
  - 332.lean
  - 333.lean
  - 337.lean
  - 34.lean
  - 340.lean
  - 341.lean
  - 342.lean
  - 346.lean
  - 347.lean
  - 348.lean
  - 349.lean
  - 350.lean
  - 351.lean
  - 352.lean
  - 353.lean
  - 354.lean
  - 355.lean
  - 357.lean
  - 358.lean
  - 359.lean
  - 36.lean
  - 361.lean
  - 363.lean
  - 364.lean
  - 366.lean
  - 367.lean
  - 369.lean
  - 370.lean
  - 371.lean
  - 373.lean
  - 375.lean
  - 376.lean
  - 377.lean
  - 379.lean
  - 38.lean
  - 383.lean
  - 385.lean
  - 386.lean
  - 387.lean
  - 389.lean
  - 39.lean
  - 390.lean
  - 392.lean
  - 394.lean
  - 396.lean
  - 397.lean
  - 398.lean
  - 399.lean
  - 4.lean
  - 40.lean
  - 400.lean
  - 401.lean
  - 402.lean
  - 403.lean
  - 406.lean
  - 409.lean
  - 41.lean
  - 410.lean
  - 412.lean
  - 413.lean
  - 414.lean
  - 416.lean
  - 417.lean
  - 418.lean
  - 419.lean
  - 42.lean
  - 421.lean
  - 422.lean
  - 424.lean
  - 426.lean
  - 427.lean
  - 428.lean
  - 429.lean
  - 43.lean
  - 434.lean
  - 435.lean
  - 44.lean
  - 442.lean
  - 443.lean
  - 445.lean
  - 447.lean
  - 448.lean
  - 45.lean
  - 450.lean
  - 453.lean
  - 454.lean
  - 455.lean
  - 456.lean
  - 457.lean
  - 458.lean
  - 459.lean
  - 46.lean
  - 463.lean
  - 464.lean
  - 469.lean
  - 47.lean
  - 470.lean
  - 476.lean
  - 477.lean
  - 479.lean
  - 48.lean
  - 480.lean
  - 481.lean
  - 484.lean
  - 486.lean
  - 487.lean
  - 488.lean
  - 489.lean
  - 493.lean
  - 494.lean
  - 495.lean
  - 497.lean
  - 498.lean
  - 499.lean
  - 5.lean
  - 50.lean
  - 501.lean
  - 502.lean
  - 503.lean
  - 505.lean
  - 506.lean
  - 507.lean
  - 508.lean
  - 509.lean
  - 51.lean
  - 510.lean
  - 512.lean
  - 513.lean
  - 516.lean
  - 517.lean
  - 519.lean
  - 52.lean
  - 520.lean
  - 521.lean
  - 522.lean
  - 532.lean
  - 533.lean
  - 535.lean
  - 536.lean
  - 537.lean
  - 538.lean
  - 539.lean
  - 540.lean
  - 541.lean
  - 56.lean
  - 562.lean
  - 564.lean
  - 566.lean
  - 567.lean
  - 579.lean
  - 582.lean
  - 587.lean
  - 590.lean
  - 591.lean
  - 592.lean
  - 593.lean
  - 594.lean
  - 595.lean
  - 596.lean
  - 598.lean
  - 599.lean
  - 6.lean
  - 60.lean
  - 600.lean
  - 602.lean
  - 61.lean
  - 613.lean
  - 615.lean
  - 617.lean
  - 618.lean
  - 619.lean
  - 621.lean
  - 623.lean
  - 624.lean
  - 628.lean
  - 633.lean
  - 639.lean
  - 64.lean
  - 645.lean
  - 646.lean
  - 647.lean
  - 648.lean
  - 649.lean
  - 650.lean
  - 653.lean
  - 655.lean
  - 659.lean
  - 66.lean
  - 660.lean
  - 666.lean
  - 67.lean
  - 672.lean
  - 674.lean
  - 677.lean
  - 678.lean
  - 68.lean
  - 680.lean
  - 681.lean
  - 683.lean
  - 686.lean
  - 688.lean
  - 689.lean
  - 69.lean
  - 692.lean
  - 694.lean
  - 695.lean
  - 697.lean
  - 698.lean
  - 699.lean
  - 7.lean
  - 70.lean
  - 700.lean
  - 701.lean
  - 705.lean
  - 707.lean
  - 71.lean
  - 723.lean
  - 726.lean
  - 727.lean
  - 728.lean
  - 729.lean
  - 730.lean
  - 74.lean
  - 740.lean
  - 741.lean
  - 742.lean
  - 749.lean
  - 75.lean
  - 750.lean
  - 751.lean
  - 753.lean
  - 755.lean
  - 756.lean
  - 757.lean
  - 760.lean
  - 762.lean
  - 769.lean
  - 770.lean
  - 774.lean
  - 775.lean
  - 779.lean
  - 785.lean
  - 786.lean
  - 789.lean
  - 794.lean
  - 796.lean
  - 798.lean
  - 80.lean
  - 812.lean
  - 817.lean
  - 818.lean
  - 82.lean
  - 821.lean
  - 822.lean
  - 825.lean
  - 826.lean
  - 828.lean
  - 829.lean
  - 830.lean
  - 835.lean
  - 844.lean
  - 845.lean
  - 846.lean
  - 847.lean
  - 848.lean
  - 849.lean
  - 85.lean
  - 850.lean
  - 851.lean
  - 853.lean
  - 855.lean
  - 857.lean
  - 859.lean
  - 862.lean
  - 865.lean
  - 867.lean
  - 868.lean
  - 871.lean
  - 872.lean
  - 873.lean
  - 881.lean
  - 884.lean
  - 885.lean
  - 886.lean
  - 887.lean
  - 888.lean
  - 889.lean
  - 89.lean
  - 890.lean
  - 891.lean
  - 893.lean
  - 897.lean
  - 898.lean
  - 899.lean
  - 9.lean
  - 90.lean
  - 904.lean
  - 905.lean
  - 906.lean
  - 907.lean
  - 91.lean
  - 912.lean
  - 913.lean
  - 914.lean
  - 918.lean
  - 92.lean
  - 920.lean
  - 923.lean
  - 93.lean
  - 930.lean
  - 931.lean
  - 932.lean
  - 933.lean
  - 936.lean
  - 937.lean
  - 938.lean
  - 939.lean
  - 94.lean
  - 940.lean
  - 942.lean
  - 943.lean
  - 944.lean
  - 945.lean
  - 946.lean
  - 949.lean
  - 950.lean
  - 951.lean
  - 952.lean
  - 955.lean
  - 958.lean
  - 959.lean
  - 96.lean
  - 961.lean
  - 962.lean
  - 965.lean
  - 966.lean
  - 967.lean
  - 968.lean
  - 97.lean
  - 971.lean
  - 972.lean
  - 973.lean
  - 974.lean
  - 975.lean
  - 978.lean
  - 979.lean
  - 98.lean
  - 982.lean
  - 985.lean
  - 987.lean
  - 99.lean
  - 990.lean
  - 996.lean
  - 997.lean
  - README.md
- - 1.lean
  - 12.lean
  - 14.lean
  - 15.lean
  - 16.lean
  - 18.lean
  - 19.lean
  - 2.lean
  - 21.lean
  - 22.lean
  - 23.lean
  - 24.lean
  - 25.lean
  - 26.lean
  - 27.lean
  - 28.lean
  - 29.lean
  - 3.lean
  - 31.lean
  - 32.lean
  - 33.lean
  - 35.lean
  - 36.lean
  - 37.lean
  - 38.lean
  - 39.lean
  - 4.lean
  - 40.lean
  - 41.lean
  - 42.lean
  - 44.lean
  - 45.lean
  - 46.lean
  - 47.lean
  - 49.lean
  - 5.lean
  - 50.lean
  - 51.lean
  - 52.lean
  - 53.lean
  - 54.lean
  - 57.lean
  - 58.lean
  - 60.lean
  - 61.lean
  - 62.lean
  - 63.lean
  - 64.lean
  - 66.lean
  - 7.lean
  - 72.lean
  - 77.lean
  - 81.lean
  - 85.lean
  - 9.lean
  - 94.lean
- - 17.lean
  - 5.lean
- - 19_25.lean
  - 1_40.lean
  - 1_74.lean
  - 20_76.lean
- - 1.lean
- - 10799.lean
  - 17560.lean
  - 1973.lean
  - 21003.lean
  - 235893.lean
  - 31809.lean
  - 339137.lean
  - 34145.lean
  - 347178.lean
  - 434111.lean
  - 486451.lean
  - 507128.lean
  - 75792.lean
- - NavierStokes.lean
  - Poincare.lean
  - PvsNP.lean
  - RiemannHypothesis.lean
- - 100434.lean
  - 100474.lean
  - 100475.lean
  - 100478.lean
  - 100800.lean
  - 101779.lean
  - 102371.lean
  - 102722.lean
  - 102847.lean
  - 103151.lean
  - 103311.lean
  - 103425.lean
  - 103662.lean
  - 103885.lean
  - 104320.lean
  - 105020.lean
  - 105033.lean
  - 105210.lean
  - 105565.lean
  - 105720.lean
  - 105751.lean
  - 105801.lean
  - 107247.lean
  - 108.lean
  - 108081.lean
  - 108129.lean
  - 108211.lean
  - 108301.lean
  - 108306.lean
  - 108569.lean
  - 108864.lean
  - 108866.lean
  - 109074.lean
  - 109227.lean
  - 109671.lean
  - 109845.lean
  - 109905.lean
  - 109908.lean
  - 109909.lean
  - 110475.lean
  - 110566.lean
  - 110835.lean
  - 110854.lean
  - 111114.lean
  - 111291.lean
  - 112521.lean
  - 112970.lean
  - 113010.lean
  - 113019.lean
  - 113213.lean
  - 113250.lean
  - 113252.lean
  - 113254.lean
  - 113255.lean
  - 113257.lean
  - 113258.lean
  - 113271.lean
  - 113609.lean
  - 114137.lean
  - 114216.lean
  - 114362.lean
  - 1146.lean
  - 114831.lean
  - 115257.lean
  - 115366.lean
  - 11545.lean
  - 1157.lean
  - 116150.lean
  - 117027.lean
  - 117531.lean
  - 117545.lean
  - 119563.lean
  - 119591.lean
  - 120424.lean
  - 1223.lean
  - 129365.lean
  - 130911.lean
  - 135508.lean
  - 1359.lean
  - 141057.lean
  - 145355.lean
  - 153330.lean
  - 157225.lean
  - 157237.lean
  - 159829.lean
  - 160324.lean
  - 166944.lean
  - 167604.lean
  - 167918.lean
  - 175386.lean
  - 176477.lean
  - 17666.lean
  - 179524.lean
  - 179537.lean
  - 180017.lean
  - 181546.lean
  - 1818.lean
  - 182126.lean
  - 182510.lean
  - 185150.lean
  - 185895.lean
  - 194806.lean
  - 211417.lean
  - 22030.lean
  - 224.lean
  - 224515.lean
  - 227582.lean
  - 228143.lean
  - 228828.lean
  - 231201.lean
  - 232174.lean
  - 2326.lean
  - 237271.lean
  - 239957.lean
  - 2407.lean
  - 2426.lean
  - 243106.lean
  - 24356.lean
  - 2454.lean
  - 248802.lean
  - 256012.lean
  - 258667.lean
  - 267581.lean
  - 271591.lean
  - 278070.lean
  - 280831.lean
  - 281976.lean
  - 282779.lean
  - 287616.lean
  - 28859.lean
  - 289411.lean
  - 2897.lean
  - 300997.lean
  - 303639.lean
  - 303656.lean
  - 306424.lean
  - 306477.lean
  - 307865.lean
  - 308734.lean
  - 309132.lean
  - 3161.lean
  - 3162.lean
  - 317940.lean
  - 323557.lean
  - 325046.lean
  - 340737.lean
  - 341254.lean
  - 34693.lean
  - 34694.lean
  - 357513.lean
  - 358684.lean
  - 3625.lean
  - 363102.lean
  - 363347.lean
  - 368692.lean
  - 37274.lean
  - 372761.lean
  - 38098.lean
  - 38107.lean
  - 382590.lean
  - 38771.lean
  - 40.lean
  - 41.lean
  - 4290.lean
  - 46969.lean
  - 48153.lean
  - 49473.lean
  - 51293.lean
  - 5153.lean
  - 51903.lean
  - 5258.lean
  - 52709.lean
  - 53000.lean
  - 53067.lean
  - 53175.lean
  - 55487.lean
  - 56777.lean
  - 60841.lean
  - 60957.lean
  - 62567.lean
  - 63880.lean
  - 64169.lean
  - 64313.lean
  - 6697.lean
  - 67599.lean
  - 67720.lean
  - 67857.lean
  - 69004.lean
  - 69922.lean
  - 69923.lean
  - 7013.lean
  - 70518.lean
  - 70823.lean
  - 71524.lean
  - 71532.lean
  - 72200.lean
  - 7406.lean
  - 7468.lean
  - 76141.lean
  - 76495.lean
  - 77408.lean
  - 78590.lean
  - 78680.lean
  - 78729.lean
  - 7918.lean
  - 79727.lean
  - 80101.lean
  - 80170.lean
  - 80326.lean
  - 81091.lean
  - 83753.lean
  - 84046.lean
  - 86766.lean
  - 87207.lean
  - 87455.lean
  - 87571.lean
  - 87719.lean
  - 89026.lean
  - 91591.lean
  - 91669.lean
  - 92243.lean
  - 93456.lean
  - 93818.lean
  - 945.lean
  - 96535.lean
  - README.md
- - 13.lean
  - 23.lean
  - 35.lean
- - 1a.lean
- - BeaverMathOlympiad.lean
  - EquationalTheories_677_255.lean
  - SchurTruncatedExponential.lean
  - SuffixPrefixAvoidance.lean
  - VCDimConvex.lean
- - BranchingVAS.lean
  - CardinalityLindelof.lean
  - CasasAlvero.lean
  - CatchUpConjecture.lean
  - Chvatal.lean
  - ClaudesCycles.lean
  - ConjugacyClassSizes.lean
  - DeGiorgi.lean
  - DegreeSequencesTriangleFree.lean
  - Dubner.lean
  - FusibleNumber.lean
  - Gourevitch.lean
  - HartshorneConjecture.lean
  - Homogenous.lean
  - KotzigConjecture.lean
  - Kurepa.lean
  - LatinSquare.lean
  - LatinTableau.lean
  - MonochromaticQuantumGraph.lean
  - PrimeTuples.lean
  - ReedOmegaDeltaChi.lean
  - RingelConjecture.lean
  - Rupert.lean
  - StrongSensitivityConjecture.lean
  - VoronovskajaTypeFormula.lean
  - WeaklyFirstCountable.lean
  - WeakTiling.lean
  - ZagierMZV.lean
- - FC100OpenSet1.lean
  - FC100SolvedSet1.lean
  - README.md
- - ABC.lean
  - AgohGiuga.lean
  - Agrawal.lean
  - AlgebraicNormality.lean
  - AlmostPerfectNumbers.lean
  - AmicableNumbers.lean
  - Andrica.lean
  - ArtinPrimitiveRootsConjecture.lean
  - BalancedPrimes.lean
  - BatemanHornConjecture.lean
  - BealConjecture.lean
  - BeckFialaConjecture.lean
  - BetrothedNumbers.lean
  - BingBorsuk.lean
  - Bloch.lean
  - BoundedBurnsideProblem.lean
  - Brennanconjecture.lean
  - BrocardConjecture.lean
  - BrocardProblem.lean
  - Buchi.lean
  - Bunyakovsky.lean
  - BusyBeaver.lean
  - CarmichaelTotient.lean
  - Catalan.lean
  - CernyConjecture.lean
  - ClassNumberProblem.lean
  - CollatzConjecture.lean
  - CongruentNumber.lean
  - conjecture_1_3_to_2_3.lean
  - Conway99Graph.lean
  - DedekindNumber.lean
  - DeterminantalConjecture.lean
  - DiameterSimpleFiniteGroups.lean
  - Dickson.lean
  - DiophantineTuple.lean
  - ElliottHalberstamConjecture.lean
  - EllipticCurveRank.lean
  - ErdosMoser.lean
  - ErdosRadoSunflowerConjecture.lean
  - Euclid.lean
  - EulerBrick.lean
  - EulerSumOfPowers.lean
  - Exponentials.lean
  - FactorialPrime.lean
  - FeitThompsonPrimeConjecture.lean
  - Fermat.lean
  - FermatCatalanConjecture.lean
  - FibonacciPrimes.lean
  - Firoozbakht.lean
  - FlintCooksonHills.lean
  - FortuneConjecture.lean
  - Fuglede.lean
  - GapConjecture.lean
  - GaussCircleProblem.lean
  - Gilbreath.lean
  - GoldbachConjecture.lean
  - Goormaghtigh.lean
  - GracefulLabeling.lean
  - Grimm.lean
  - GromovPolynomialGrowth.lean
  - Hadamard.lean
  - HadwigerNelson.lean
  - Hall.lean
  - HappyEndingProblem.lean
  - HardyLittlewood.lean
  - HerzogSchonheimConjecture.lean
  - HilbertFifthProblem.lean
  - IdonealCompleteness.lean
  - InscribedSquare.lean
  - InvariantSubspaceProblem.lean
  - InverseGalois.lean
  - Irrational.lean
  - JacobianConjecture.lean
  - JugglerConjecture.lean
  - Kakeya.lean
  - Kaplansky.lean
  - Koethe.lean
  - KomlosConjecture.lean
  - KummerVandiver.lean
  - LanderParkinAndSelfridgeConjecture.lean
  - LegendreConjecture.lean
  - LehmerMahlerMeasureProblem.lean
  - LehmerTotient.lean
  - LeinsterGroup.lean
  - Lemoine.lean
  - LittlewoodConjecture.lean
  - LonelyRunnerConjecture.lean
  - LychrelNumbers.lean
  - MagicSquares.lean
  - Mahler32.lean
  - Mandelbrot.lean
  - MeanValueProblem.lean
  - Mersenne.lean
  - Mills.lean
  - MinimalOverlapProblem.lean
  - ModularityConjecture.lean
  - MoserWorm.lean
  - MovingSofa.lean
  - NoetherProblem.lean
  - NormalityOfPi.lean
  - NoThreeInLineProblem.lean
  - OddWeirdNumber.lean
  - Oppermann.lean
  - PebblingNumberConjecture.lean
  - Pell.lean
  - PerfectNumbers.lean
  - PierceBirkhoff.lean
  - PierpontPrime.lean
  - PollocksConjecture.lean
  - PompeiuProblem.lean
  - PowerfulNumbersDensity.lean
  - PrimesAndPerfectSquares.lean
  - PrimeTriplets.lean
  - QuasiperfectNumbers.lean
  - RamanujanTau.lean
  - RamseyNumbers.lean
  - RationalDistanceProblem.lean
  - RegularPrimes.lean
  - RiemannZetaValues.lean
  - RudinsConjecture.lean
  - Schanuel.lean
  - Schinzel.lean
  - ScholzConjecture.lean
  - Selfridge.lean
  - Sendov.lean
  - SidorenkoConjecture.lean
  - SierpinskiNumber.lean
  - Singmaster.lean
  - SixStandardDeviations.lean
  - SnakeInTheBox.lean
  - SolitaryNumber.lean
  - SparseRuler.lean
  - SquarePacking.lean
  - SteinerSystem.lean
  - SumOfThreeCubes.lean
  - Superperfectnumbers.lean
  - SurjunctiveGroup.lean
  - Taxicab.lean
  - Toronto.lean
  - Transcendental.lean
  - TwinPrimes.lean
  - UnionClosed.lean
  - VaughtConjecture.lean
  - WallSunSun.lean
  - WilsonPrime.lean
  - WolstenholmePrime.lean
  - WoodalPrimes.lean
- - 160.lean
  - GraphConjecture1.lean
  - GraphConjecture100.lean
  - GraphConjecture101.lean
  - GraphConjecture103.lean
  - GraphConjecture109.lean
  - GraphConjecture13.lean
  - GraphConjecture133.lean
  - GraphConjecture141.lean
  - GraphConjecture142.lean
  - GraphConjecture143.lean
  - GraphConjecture144.lean
  - GraphConjecture145.lean
  - GraphConjecture146.lean
  - GraphConjecture16.lean
  - GraphConjecture17.lean
  - GraphConjecture18.lean
  - GraphConjecture19.lean
  - GraphConjecture194.lean
  - GraphConjecture198a.lean
  - GraphConjecture2.lean
  - GraphConjecture20.lean
  - GraphConjecture200.lean
  - GraphConjecture217.lean
  - GraphConjecture23.lean
  - GraphConjecture291.lean
  - GraphConjecture3.lean
  - GraphConjecture31.lean
  - GraphConjecture314.lean
  - GraphConjecture315.lean
  - GraphConjecture316.lean
  - GraphConjecture32.lean
  - GraphConjecture322.lean
  - GraphConjecture327.lean
  - GraphConjecture33.lean
  - GraphConjecture34.lean
  - GraphConjecture36.lean
  - GraphConjecture4.lean
  - GraphConjecture40.lean
  - GraphConjecture5.lean
  - GraphConjecture58.lean
  - GraphConjecture59.lean
  - GraphConjecture6.lean
  - GraphConjecture61.lean
  - GraphConjecture63.lean
  - GraphConjecture65.lean
  - GraphConjecture7.lean
  - GraphConjecture85.lean
  - README.md
  - Test.lean
- - Powerfree.lean
- - ProjectiveSpace.lean
  - VectorBundle.lean
- - HasGaps.lean
- - Basic.lean
  - LatinSquare.lean
  - Ramsey.lean
  - YoungDiagram.lean
- - DFA.lean
  - Encoding.lean
- - 2d.lean
  - 3d.lean
  - Euclidean.lean
  - Metric.lean
- - GeneralLinearGroup.lean
  - SpecialLinearGroup.lean
- - AdditionChain.lean
  - AdditiveComplement.lean
  - AdditivelyComplete.lean
  - Amicable.lean
  - BeurlingPrimes.lean
  - Carmichael.lean
  - CoveringSystem.lean
  - Divisors.lean
  - Harmonic.lean
  - Lacunary.lean
  - NormalNumber.lean
  - PisotNumber.lean
  - PracticalNumbers.lean
  - PrimeGap.lean
  - Primitive.lean
  - Semiprime.lean
  - SierpinskiNumber.lean
  - SmoothScale.lean
  - WallSunSunPrimes.lean
- - Unimodular.lean
- - FiniteMethod.lean
- - AbsoluteNeighborhoodRetract.lean
  - Discrete.lean
  - GDelta.lean
  - Homogeneous.lean
  - LebesgueCoveringDimension.lean
- - Answer.lean
- - Syntax.lean
- - AMS.lean
  - Basic.lean
- - AMSLinter.lean
  - AnswerLinter.lean
  - AnswerLinterTest.lean
  - CategoryDocstringLinter.lean
  - CategoryDocstringLinterTest.lean
  - CategoryLinter.lean
  - CopyrightLinter.lean
  - ExistsImplicationLinter.lean
  - FormalProofLinter.lean
  - ImportLinter.lean
  - LatexDocstringLinter.lean
  - LatexDocstringLinterTest.lean
  - ModuleDocstringLinter.lean
  - NamespaceLinter.lean
  - StubLinter.lean
- Answer.lean
- DeclName.lean
- Metadata.lean
- check_category_warnings.py
- check_copyright_header.js
- check_erdos_status.py
- extract_names.lean
- generate_fc_subsets.py
- mk_all_formathlib.sh
- test_check_category_warnings.py
- test_check_erdos_status.py
- - voting.md
- - package-lock.json
  - package.json
  - README.md
  - wrangler.toml
- .gitignore
- build.js
- dev.sh
- extract_verso_fragments.py
- fix_literate_html.py
- package.json
- plot_growth.py
- README.md
.gitattributes
.gitignore
.gitpod.yml
.mailmap
AGENTS.md
AUTHORS
CONTRIBUTING.md
FormalConjecturesForMathlib.lean
FormalConjecturesUtil.lean
lake-manifest.json
lakefile.toml
lean-toolchain
LICENSE
PROOFS.md
README.md
STATEMENTS.md

# 설치 가이드

1. 코드 내려받기

git clone https://github.com/google-deepmind/formal-conjectures

깃허브에서 프로젝트 코드 전체를 내 컴퓨터로 내려받습니다.

cd formal-conjectures

방금 내려받은 프로젝트 폴더 안으로 이동합니다.

2. Node.js

쉬움 추천

사전 준비물

Git GitHub에서 프로젝트 코드를 내려받으려면 필요합니다.
Node.js npm 명령어를 쓰려면 Node.js가 설치되어 있어야 합니다. LTS(장기지원) 버전을 추천합니다.

cd site

이 프로젝트의 관련 파일이 하위 폴더 안에 있어서, 먼저 그 폴더로 이동합니다.

npm install

package.json에 명시된 라이브러리들을 내려받아 설치합니다.

npm start

개발/실행 서버를 켭니다.

✅ 명령어 실행 후 터미널에 나타나는 주소(보통 http://localhost:3000 형태)를 브라우저에서 열어보세요.

formal-conjectures

파일 탐색기

# 설치 가이드

2. Node.js

오늘의 추천 프로젝트

Was this content helpful?

Recent Feedback

formal-conjectures

파일 탐색기

# 설치 가이드

2. Node.js

오늘의 추천 프로젝트

Was this content helpful?

Recent Feedback

Download README