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