Skip to content

Commit e84cb16

Browse files
SnO2WMaNSnO2WMaN
committed
refactor project
1 parent 30c75ea commit e84cb16

2 files changed

Lines changed: 2 additions & 10 deletions

File tree

‎Main.lean‎

Lines changed: 0 additions & 4 deletions
This file was deleted.

‎lakefile.toml‎

Lines changed: 2 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -1,13 +1,9 @@
11
name = "SeqPL"
22
version = "0.1.0"
3-
defaultTargets = ["seqpl"]
3+
defaultTargets = ["SeqPL"]
44

55
[[lean_lib]]
6-
name = "SeqPL"
7-
8-
[[lean_exe]]
9-
name = "seqpl"
10-
root = "Main"
6+
name = "SeqPL"
117

128
[[require]]
139
scope = "leanprover-community"

0 commit comments

Comments
 (0)