Skip to content
This repository has been archived by the owner on Jul 24, 2024. It is now read-only.

Test leanprover-community/lean#812 #19192

Open
wants to merge 3 commits into
base: master
Choose a base branch
from
Open

Test leanprover-community/lean#812 #19192

wants to merge 3 commits into from

Commits on Jun 15, 2023

  1. Test leanprover/lean3#812

    @eric-wieser
    eric-wieser authored Jun 15, 2023
    Configuration menu
    Copy the full SHA
    d3d53b3 View commit details
    Browse the repository at this point in the history

  2. Update leanpkg.toml

    @eric-wieser
    eric-wieser authored Jun 15, 2023
    Configuration menu
    Copy the full SHA
    0805dc0 View commit details
    Browse the repository at this point in the history

Commits on Jun 20, 2023

  1. Update leanpkg.toml

    @eric-wieser
    eric-wieser authored Jun 20, 2023
    Configuration menu
    Copy the full SHA
    d5309de View commit details
    Browse the repository at this point in the history