-
Notifications
You must be signed in to change notification settings - Fork 0
Expand file tree
/
Copy pathLeanExe.lean
More file actions
26 lines (26 loc) · 840 Bytes
/
Copy pathLeanExe.lean
File metadata and controls
26 lines (26 loc) · 840 Bytes
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
import LeanExe.AsciiString
import LeanExe.Ascii.Basic
import LeanExe.Ascii.Decimal
import LeanExe.Ascii.Json
import LeanExe.Ascii.Json.Value
import LeanExe.Core
import LeanExe.CLI
import LeanExe.Extract.OwnershipReport
import LeanExe.Extract.Report
import LeanExe.Examples.ArraySemantics
import LeanExe.Examples.AsciiDigits
import LeanExe.Examples.AsciiStringPrograms
import LeanExe.Examples.Arithmetic
import LeanExe.Examples.Collatz
import LeanExe.Examples.Correctness
import LeanExe.Examples.IntMap
import LeanExe.Examples.JsonAdd
import LeanExe.Examples.JsonCollatzLength
import LeanExe.Examples.JsonDouble
import LeanExe.Examples.JsonGcd
import LeanExe.Examples.JsonTreeCommand
import LeanExe.Examples.JsonTools
import LeanExe.Examples.Let
import LeanExe.Examples.Prime
import LeanExe.Wasm.Binary
import LeanExe.Wasm.ScalarCertificate