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 for experiments and demos, tools for finished software, and tutorials for the long-form interactive tutorials.

Abandoned prototypes#

• proofery. A prototype for working with structured mathematical proofs. Never finished.
• proofery-web. The web front end for proofery.

numbl project scaffolds#

Throwaway numbl project skeletons, generated while working out what a numbl project should look like. Superseded by numbl-project-example.

• sample-3
• sample-4
• sample-6