Skip to content

doc: fix typo in the documentation of the syntax for cast - #900

Merged
david-christiansen merged 1 commit into
leanprover:mainfrom
ia0:cast
Jul 27, 2026
Merged

doc: fix typo in the documentation of the syntax for cast#900
david-christiansen merged 1 commit into
leanprover:mainfrom
ia0:cast

doc: fix typo in the documentation of the syntax for cast

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