diff options
Diffstat (limited to 'backends/lean/Base.lean')
| -rw-r--r-- | backends/lean/Base.lean | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/backends/lean/Base.lean b/backends/lean/Base.lean new file mode 100644 index 00000000..2077d410 --- /dev/null +++ b/backends/lean/Base.lean @@ -0,0 +1,6 @@ +import Base.Utils +import Base.Primitives +import Base.Diverge +import Base.Arith +import Base.Progress +import Base.IList |