# Attic

Repositories that are no longer active: superseded work, abandoned prototypes,
and scaffolding kept only so that old links and references still resolve.
Nothing here is maintained, and nothing here should be taken as a current
example of how to do anything.

For work that is alive, see
[proof-of-concept](https://vault1.magland.org/proof-of-concept) for experiments
and demos, [tools](https://vault1.magland.org/tools) for finished software, and
[tutorials](https://vault1.magland.org/tutorials) for the long-form interactive
tutorials.

## Abandoned prototypes

- **[proofery](https://vault1.magland.org/attic/proofery)**. A prototype for
  working with structured mathematical proofs. Never finished.
- **[proofery-web](https://vault1.magland.org/attic/proofery-web)**. The web
  front end for proofery.

## numbl project scaffolds

Throwaway [numbl](https://numbl.org) project skeletons, generated while working
out what a numbl project should look like. Superseded by
[numbl-project-example](https://vault1.magland.org/proof-of-concept/numbl-project-example).

- **[sample-3](https://vault1.magland.org/attic/sample-3)**
- **[sample-4](https://vault1.magland.org/attic/sample-4)**
- **[sample-6](https://vault1.magland.org/attic/sample-6)**