Attic#

Superseded and abandoned repositories, kept only so old links still resolve. Nothing here is maintained.

• proofery and proofery-web. An unfinished prototype for working with structured mathematical proofs, and its web front end.
• sample-3, sample-4, sample-6. Throwaway numbl project skeletons, superseded by numbl-project-example.