Closed bollu closed 3 months ago
This is motivated by more files that will pop up for automation via https://github.com/leanprover/LNSym/pull/56/.
It feels like the memory subsystem is now large enough to warrant its own subfolder.
By submitting this pull request, I confirm that my contribution is made under the terms of the Apache 2.0 license.
This is motivated by more files that will pop up for automation via https://github.com/leanprover/LNSym/pull/56/.
It feels like the memory subsystem is now large enough to warrant its own subfolder.
License:
By submitting this pull request, I confirm that my contribution is made under the terms of the Apache 2.0 license.