No results found

mathlib4-tactics

List of the output of #help command of mathlib4.
Displaying 1-1 of 1 versions of mathlib4-tactics
Sort by
  1. Not a part of any version track.
    2466946
    6 hours ago
    Released on October 6, 2024 at 8:11:14AM
    Commit 2466946 builds on its recent leanprover/lean4:v4.13.0-rc3
    v4.13.0-rc3