Skip to content

Move export SetTheoryLibrary.* from Main to proof files

Viktor Kuncak requested to merge github/fork/cache-nez/move-export into main

Created by: cache-nez

Let Main be responsible for output-related functionality, this way it can be reused for other theories, e.g. the Peano arithmetic that is under development.

Merge request reports