1# Attic
3Repositories that are no longer active: superseded work, abandoned prototypes,
4and scaffolding kept only so that old links and references still resolve.
5Nothing here is maintained, and nothing here should be taken as a current
6example of how to do anything.
8For work that is alive, see
9[proof-of-concept](https://vault1.magland.org/proof-of-concept) for experiments
10and demos, [tools](https://vault1.magland.org/tools) for finished software, and
11[tutorials](https://vault1.magland.org/tutorials) for the long-form interactive
12tutorials.
14## Abandoned prototypes
16- **[proofery](https://vault1.magland.org/attic/proofery)**. A prototype for
17 working with structured mathematical proofs. Never finished.
18- **[proofery-web](https://vault1.magland.org/attic/proofery-web)**. The web
19 front end for proofery.
21## numbl project scaffolds
23Throwaway [numbl](https://numbl.org) project skeletons, generated while working
24out what a numbl project should look like. Superseded by
25[numbl-project-example](https://vault1.magland.org/proof-of-concept/numbl-project-example).
27- **[sample-3](https://vault1.magland.org/attic/sample-3)**
28- **[sample-4](https://vault1.magland.org/attic/sample-4)**
29- **[sample-6](https://vault1.magland.org/attic/sample-6)**