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