fix: correct the description of integer representation · leanprover/reference-manual@35632b4

Triggered via pull request February 7, 2025 13:07

synchronize #291

int-fix

Status Failure

Total duration 6m 37s

Artifacts 2

ci.yml

on: pull_request

1 error

Process completed with exit code 1.

Produced during runtime

Name	Size
html	34.6 MB
pr	124 Bytes