21078abShorten the collection overviewJeremy Magland 3Superseded and abandoned repositories, kept only so old links still resolve. Nothing here is maintained.
e815950Add collection profileJeremy Magland 4
21078abShorten the collection overviewJeremy Magland 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).