benbrastmckie

Logic

MIT, Cambridge

Pinned Repositories

.config
NeoVim configuration optimized for writing in LaTeX
Language:Lua310 12 118246
.dotfiles
NixOS config
Language:Nix0 1 00
ModelChecker
A hyperintensional theorem prover for counterfactual conditional, modal, constitutive explanatory, relevance, and extensional operators.
Language:Python4 6 370
OpenLogic
An open-source, customizable intermediate logic textbook
Language:TeX2 1 00
Revisions
Intro Logic
Language:TeX0 2 00
VSCodium
Resources for configuring VSCodium for writing in LaTeX, Markdown, and Python.
Language:TeX32
cmp-vimtex
Vimtex source for nvim-cmp.
Language:Lua78 1 175
nixpkgs
Nix Packages collection & NixOS
Language:Nix17.3k 281 40.5k13.5k
telescope-bibtex.nvim
A telescope.nvim extension to search and paste bibtex entries into your TeX files.
Language:Lua111 8 4717
none-ls.nvim
null-ls.nvim reloaded / Use Neovim as a language server to inject LSP diagnostics, code actions, and more via Lua.
Language:Lua2.4k 12 5171

benbrastmckie's Repositories

benbrastmckie/.config
NeoVim configuration optimized for writing in LaTeX
Language:Lua310 12 118246
benbrastmckie/ModelChecker
A hyperintensional theorem prover for counterfactual conditional, modal, constitutive explanatory, relevance, and extensional operators.
Language:Python4 6 370
benbrastmckie/VSCodium
Resources for configuring VSCodium for writing in LaTeX, Markdown, and Python.
Language:TeX32
benbrastmckie/OpenLogic
An open-source, customizable intermediate logic textbook
Language:TeX2 1 00
benbrastmckie/.dotfiles
NixOS config
Language:Nix0 1 00
benbrastmckie/Revisions
Intro Logic
Language:TeX0 2 00