8000 chore: cleanup after stage0 update by kmill · Pull Request #8966 · leanprover/lean4 · GitHub
  • [go: up one dir, main page]
    More Web Proxy on the site http://driver.im/
    Skip to content

    chore: cleanup after stage0 update#8966

    Merged
    kmill merged 1 commit intoleanprover:masterfrom
    kmill:kmill_let_tactic_config_cleanup
    Jun 24, 2025
    Merged

    chore: cleanup after stage0 update#8966
    kmill merged 1 commit intoleanprover:masterfrom
    kmill:kmill_let_tactic_config_cleanup

    Commits

    Commits on Jun 24, 2025
    0