Popular repositories Loading

1. .config .config Public

   NeoVim configuration optimized for writing in LaTeX

   Lua 332 267

2. ModelChecker ModelChecker Public

   A hyperintensional theorem prover for counterfactual conditional, modal, constitutive explanatory, relevance, and extensional operators.

   Python 6

3. VSCodium VSCodium Public

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

   TeX 4 2

4. OpenLogic OpenLogic Public

   Forked from OpenLogicProject/OpenLogic

   An open-source, customizable intermediate logic textbook

   TeX 2

5. Revisions Revisions Public

   Intro Logic

   TeX

6. .dotfiles .dotfiles Public

   NixOS config

   Nix