Skip to content
Permalink

Comparing changes

Choose two branches to see what’s changed or to start a new pull request. If you need to, you can also or learn more about diff comparisons.

Open a pull request

Create a new pull request by comparing changes across two branches. If you need to, you can also . Learn more about diff comparisons here.
base repository: leanprover-community/mathlib4
Failed to load repositories. Confirm that selected base ref is valid, then try again.
Loading
base: master
Choose a base ref
...
head repository: gilesgshaw/mathlib4
Failed to load repositories. Confirm that selected head ref is valid, then try again.
Loading
compare: main
Choose a head ref
Checking mergeability… Don’t worry, you can still create the pull request.
  • 6 commits
  • 21 files changed
  • 1 contributor

Commits on Aug 16, 2025

  1. Mathlib.New.Lean.MkArrow

    @gilesgshaw
    gilesgshaw committed Aug 16, 2025
    Configuration menu
    Copy the full SHA
    afc1a06 View commit details
    Browse the repository at this point in the history

  2. Mathlib.New.Lean.ConstructiveLinter

    @gilesgshaw
    gilesgshaw committed Aug 16, 2025
    Configuration menu
    Copy the full SHA
    6420506 View commit details
    Browse the repository at this point in the history

  3. TEMP SETTINGS

    @gilesgshaw
    gilesgshaw committed Aug 16, 2025
    Configuration menu
    Copy the full SHA
    a4cfea1 View commit details
    Browse the repository at this point in the history

  4. Fix (except should investigate missing pathway)

    @gilesgshaw
    gilesgshaw committed Aug 16, 2025
    Configuration menu
    Copy the full SHA
    6fb2386 View commit details
    Browse the repository at this point in the history

  5. STAGED

    @gilesgshaw
    gilesgshaw committed Aug 16, 2025
    Configuration menu
    Copy the full SHA
    e58c1b3 View commit details
    Browse the repository at this point in the history

  6. WIP

    @gilesgshaw
    gilesgshaw committed Aug 16, 2025
    Configuration menu
    Copy the full SHA
    004f989 View commit details
    Browse the repository at this point in the history
Loading