This package is a component of the development setup for the
pfsc-server project.
Its purpose is to support unit tests on somewhat more realistic test cases than typically occur in the "dummy" examples that make up most basic tests.
All Proofscape modules in this repo are derived from corresponding modules in the gh.toepproj.lit and gh.toepproj.ex projects. They are licensed under MPL-2.0.
This is structured the same way as the tests/resources/repo directory
in pfsc-server. It organizes pfsc modules under user/repo/version
directories, and is used by the tests/util/make_repos.py script of
pfsc-server to generate actual test repos under PFSC_ROOT/lib/test.