Skip to content

History

New page

Revisions

  • typo

    @icecream17 icecream17 committed Sep 24, 2024
    10d8df2

  • typos

    @icecream17 icecream17 committed Sep 24, 2024
    f704f23

  • update and expand information about the project led by Kevin Buzzard and Richard Taylor

    @jkingdon jkingdon committed Sep 7, 2024
    8192ddb

  • lean4 link

    @icecream17 icecream17 committed Aug 14, 2024
    37da26d

  • clarify

    @icecream17 icecream17 committed Aug 6, 2024
    1f81f8b

  • grammar

    @icecream17 icecream17 committed Aug 6, 2024
    0ebfeac

  • Add a note so that anyone who comes here sees the better minimization that would be done

    @icecream17 icecream17 committed Aug 2, 2024
    f9046be

  • detail how antecedent adders work since the example doesn't

    @icecream17 icecream17 committed Aug 2, 2024
    43012cb

  • manual minimization finish: commutations and antecedent additions

    @icecream17 icecream17 committed Jul 31, 2024
    81a6cc2

  • Updated Minimizing (markdown)

    @icecream17 icecream17 committed Jul 31, 2024
    34d3762

  • Updated Explanations (markdown)

    @icecream17 icecream17 committed Jul 24, 2024
    e748a92

  • very informal start

    @icecream17 icecream17 committed Jun 4, 2024
    6273424

  • more visible progress

    @icecream17 icecream17 committed May 16, 2024
    3fcd6b8

  • Updated Getting started with contributing (markdown)

    @benjub benjub committed Dec 24, 2023
    3be399c

  • Typesetting. Also, boost shallow copy from 5 to 10 latest commits since I experienced problems with very shallow copies.

    @benjub benjub committed Dec 24, 2023
    07221de

  • typo, contribs

    @icecream17 icecream17 committed Oct 20, 2023
    7ca885b

  • Updated Fermat's Last Theorem (markdown)

    @jkingdon jkingdon committed Oct 4, 2023
    d3b71aa

  • expand Buzzard plans

    @jkingdon jkingdon committed Oct 3, 2023
    67d5a4a

  • mention Kevin Buzzard grant

    @jkingdon jkingdon committed Oct 3, 2023
    a9d3df4

  • Updated Automated proving (markdown)

    @david-a-wheeler david-a-wheeler committed Aug 20, 2023
    6642e52

  • Updated Automated proving (markdown)

    @david-a-wheeler david-a-wheeler committed Aug 11, 2023
    91cf9b5

  • Mention lamp

    @CatsAreFluffy CatsAreFluffy committed Jul 17, 2023
    22b8ba0

  • Updated Automated proving (markdown)

    @david-a-wheeler david-a-wheeler committed Jun 19, 2023
    0b38fd3

  • Updated Automated proving (markdown)

    @david-a-wheeler david-a-wheeler committed Jun 17, 2023
    5e67753

  • Updated Automated proving (markdown)

    @david-a-wheeler david-a-wheeler committed Jun 12, 2023
    bced8e2

  • Updated Automated proving (markdown)

    @david-a-wheeler david-a-wheeler committed May 25, 2023
    8f1c300

  • Updated Fermat's Last Theorem (markdown)

    @jkingdon jkingdon committed Feb 21, 2023
    1a9844a

  • add word formal

    @jkingdon jkingdon committed Feb 21, 2023
    ced8f2e

  • another little project: equivalences

    @jkingdon jkingdon committed Feb 21, 2023
    6cb8ea6

  • Updated Fermat's Last Theorem (markdown)

    @jkingdon jkingdon committed Feb 21, 2023
    ce9532c