Sign in
◑
Theme
fuchsia
/
third_party
/
github.com
/
leanprover
/
lean4
/
refs/heads/upstream/expose-array-back
/
.
/
tests
/
elab
/
WindowsNewlines.lean
blob: 7e059edc9e539be1b01e743725c0f51793429a31 [
file
] [
edit
]
prelude
import
Init
.
System
.
IO
