m-fleury / isabelle-emacs
Clone of isabelle, with LSP extensions in seperate branches
☆25Updated last week
Related projects ⓘ
Alternatives and complementary repositories for isabelle-emacs
- Emacs major mode for Lean 4☆69Updated this week
- Emacs mode for Lean☆69Updated last year
- A collection of tools for writing technical documents that mix Coq code and prose.☆236Updated 2 months ago
- Agda as a collaborative multiplayer game☆31Updated last month
- My mathematical Zettelkasten, created using forester.☆78Updated this week
- ☆77Updated 2 months ago
- A project of short tutorials and how-to guides for Coq features and Coq Platform packages.☆19Updated 2 weeks ago
- This repo is the new home of Proof General☆491Updated last month
- Compiling Agda code to readable Haskell☆177Updated last month
- Logical manifestations of topological concepts, and other things, via the univalent point of view.☆233Updated this week
- Lecture notes on realizability☆65Updated last month
- A Coq IDE build on top of Proof General's Coq mode☆354Updated last year
- Selected Papers of Dana S. Scott☆155Updated 5 months ago
- Agda lecture notes for the Functional Programming course at TU Delft☆118Updated 8 months ago
- Agda bindings to SMT-LIB2 compatible solvers.☆95Updated last month
- Latex documentation of our understanding of the synthetic /internal theory of the Zariski-Topos☆52Updated this week
- agda-mode for neovim☆134Updated 3 weeks ago
- Agda formalisation of the Introduction to Homotopy Type Theory☆123Updated 2 years ago
- ☆63Updated 2 years ago
- Coq plugin embedding elpi☆139Updated this week
- Haskell + Lisp☆206Updated 6 months ago
- Total Parser Combinators in Agda☆123Updated last year
- Visual Studio Code Extension and Language Server Protocol for Coq☆152Updated last week
- Attracting mathematicians (others welcome too) with no experience in proof verification interested in HoTT and able to use Agda for HoTT☆125Updated 7 months ago
- A proof assistant for higher-dimensional type theory☆147Updated this week
- A slow-paced introduction to reflection in Agda. ---Tactics!☆95Updated 2 years ago
- A Library for Classical Propositional Logic in Agda☆15Updated 5 years ago
- A repackaged version of the Kenzo program by Francis Sergeraert and collaborators.☆50Updated 4 years ago
- Modeling and Proving in Computational Type Theory☆80Updated 4 months ago
- Nix helper scripts to automate local builds and CI [maintainers=@CohenCyril,@Zimmi48]☆33Updated this week