mcndave/lean-console
1
0 Fork 0
Code Issues Pull Requests Releases Wiki Activity
28 Commits 2 Branches 5 Tags
58a96c4b5c4478ac0f737c3ae83e10d87f40506f
Commit Graph
3 Commits
Author SHA1 Message Date
mcndave 58a96c4b5c - WIP on Lean's autoload component 2023-10-17 18:04:13 +00:00
mcndave 24e5490c71 - Work done on the console to have at least some working functionality from every parts 2022-11-29 19:29:15 +00:00
mcndave f6fadd715e - Work done on DatabaseMigration part and separation from Lean main package too. 2021-01-21 20:59:00 +00:00