maynard's website

me@maynards.site

↳ ζ Zettelkasten — notes and thoughts
↳ fitch Interactive proof assistant for Fitch-style natural deduction
↳ mathsproofbot Fitch-style proof bot
↳ minesweeper Keyboard-only mineseeper
↳ daygen Randomize your life
↳ legacy index Legacy website index