Similar repositories to mk12/vim-lean:

• mk12/vim-lean github similar
• danistefanovic/build-your-own-x github similar
• bedrocksystems/cpp2v github similar
• leanprover/lean.vim github similar
• Eloston/ungoogled-chromium github similar
• leanprover-community/vscode-lean4 github similar
• rapiz1/catp github similar
• massung/racket-csfml github similar
• koengit/intuit github similar
• Soldat/soldat github similar
• LAC1213/compact_unit_ball github similar
• wilbowma/scribble-coq github similar
• CMU-HoTT/serre-finiteness github similar
• jonsterling/latex-dieudonne github similar
• prathyvsh/learning-topology github similar
• anton-petrunin/birkhoff github similar
• creesch/readReddit github similar
• yjqww6/racket-x64asm github similar
• adborden/vim-notmuch-address github similar
• gebner/trepplein github similar
• Julian/lean.nvim github similar
• RobertHarper/hott-notes github similar
• math-comp/Abel github similar
• leanprover-community/mathlib-tools github similar
• tree-sitter/tree-sitter-agda github similar
• Etcetera-Type-Co/Imbue github similar
• leanprover/lean-mode github similar
• JohnWCartmell/Theory github similar
• chriskempson/base16 github similar
• favonia/hdtt2020-notes github similar
• ryukinix/lisp-inference github similar
• david-christiansen/pudding-old github similar
• Soonad/Moonad github similar
• williamstein/ant github similar
• Barbaross93/Muspelheim github similar
• dylanaraps/clutter-home github similar
• conal/linalg github similar
• prathyvsh/history-of-logic github similar
• fredefox/cat github similar
• tree-sitter/tree-sitter-julia github similar