maynard's website
eli.t.maynard@gmail.com
↳ ζ
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