Neovim support for the Lean theorem prover

Vim-fork focused on extensibility and usability

Split 36-key keyboard

VimTeX: A modern Vim and neovim filetype plugin for LaTeX files.

A 33-key layout that works with all keyboards.

Visual Studio Code extension for the Lean 4 proof assistant

Lean 3 Theorem Prover (community fork)

Very controlled natural language tactics for Lean

💧 Liquid Tensor Experiment

The Lean version manager

Lean-independent implementation of the MM-Lean link

Hosts the website for mathlib and other Lean community infrastructure.

This is the repo for Vue 2. For Vue 3, go to https://github.com/vuejs/core

Lean 4 programming language and theorem prover

Material from M1P1, formalised in Lean

Extension for VS Code that provides support for the older Lean 3 language. Succeeded by vscode-lean4 ('lean4' in the extensions menu) for the Lean 4 language.

Perfectoid spaces in the Lean formal theorem prover.

Formal verification of parts of the Stacks Project in Lean

Lean Library currently studying for a degree at Imperial College

Lean 3's obsolete mathematical components library: please use mathlib4

Lean Theorem Prover

An experimental category theory library for Lean

Beautiful and accessible math in all browsers

plasTeX is a Python package that processes LaTeX documents into an XML-DOM-like object which can be used to generate various types of output.

Dead-simple way to watch a directory.

Minimalist Python library for building static websites with Jinja