Benjamin Brast-McKie

nvim. NeoVim configuration optimized for writing in LaTeX with AI integration for Avante, Lectic, and Claude-Code

VSCodium. Resources for configuring VSCodium for writing in LaTeX, Markdown, and Python.

ModelChecker. A hyperintensional theorem prover for rapidly prototyping modular semantic theories

ModalHistory. Graduate seminar on the modern history of modal logic

ForAllX. An advanced introduction to first-order logic at MIT

ProofChecker. Lean

.dotfiles. NixOS config

BimodalLogic. Lean

OpenLogic. An open-source, customizable intermediate logic textbook

LogicNotes. A highly compressed collection of notes for a number of logical systems.

ParadoxInfinity. TeX