Shorten the collection overview
1 changed file+3−26
profile/README.mdmodified+3−26View file
@@ -1,29 +1,6 @@
11 # Attic
22
3-Repositories that are no longer active: superseded work, abandoned prototypes,
4-and scaffolding kept only so that old links and references still resolve.
5-Nothing here is maintained, and nothing here should be taken as a current
6-example of how to do anything.
3+Superseded and abandoned repositories, kept only so old links still resolve. Nothing here is maintained.
74
8-For work that is alive, see
9-[proof-of-concept](https://vault1.magland.org/proof-of-concept) for experiments
10-and demos, [tools](https://vault1.magland.org/tools) for finished software, and
11-[tutorials](https://vault1.magland.org/tutorials) for the long-form interactive
12-tutorials.
13-
14-## Abandoned prototypes
15-
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.
20-
21-## numbl project scaffolds
22-
23-Throwaway [numbl](https://numbl.org) project skeletons, generated while working
24-out what a numbl project should look like. Superseded by
25-[numbl-project-example](https://vault1.magland.org/proof-of-concept/numbl-project-example).
26-
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)**
5+- **[proofery](https://vault1.magland.org/attic/proofery)** and **[proofery-web](https://vault1.magland.org/attic/proofery-web)**. An unfinished prototype for working with structured mathematical proofs, and its web front end.
6+- **[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)**. Throwaway [numbl](https://numbl.org) project skeletons, superseded by [numbl-project-example](https://vault1.magland.org/proof-of-concept/numbl-project-example).