zettelkasten

Artificially-limited alternatives Mathematics Beyond Formalisms