Skip to content

[#14537] spike: better defeq error messages - #17

Draft
downstream-lean4[bot] wants to merge 2 commits into
masterfrom
adaptation-14537
Draft

[#14537] spike: better defeq error messages#17
downstream-lean4[bot] wants to merge 2 commits into
masterfrom
adaptation-14537

downstream: follow upstream PR

0936bf4
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

2 errors
main
failed Jul 24, 2026 in 40m 23s