Skip to content

doc: fix typo in floating-point literals example - #918

Open
ia0 wants to merge 1 commit into
leanprover:mainfrom
ia0:float
Open

doc: fix typo in floating-point literals example#918
ia0 wants to merge 1 commit into
leanprover:mainfrom
ia0:float

doc: fix typo in floating-point literals example

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

Annotations

1 warning
Build site and generate HTML
succeeded Aug 11, 2026 in 4m 27s