leodemoura

zulip

Zulip server and web application. Open-source team chat that helps teams stay productive and focused.

lean4

Lean 4 programming language and theorem prover

catala

Programming language for literate programming law specification

mathlib

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

zulip-mobile

Zulip mobile apps for Android and iOS.

zulip-desktop

Zulip Desktop client for Mac, Windows and Linux.

python-zulip-api

Python library for the Zulip API.

paperproof

Lean theorem proving interface which feels like pen-and-paper proofs.

formalising-mathematics

Lean 3 material for Kevin Buzzard's 2021 TCC courrse on formalising mathematics. Lean 4 version available here: https://github.com/ImperialCollegeLondon/formalising-mathematics-2024

lean.nvim

neovim support for the Lean theorem prover

theorem_proving_in_lean4

Theorem Proving in Lean 4

lean4game

Server to host lean games.

debate

Formalizing stochastic doubly-efficient debate

lean-smt

Tactics for discharging Lean goals into SMT solvers.

lean4lean

Lean 4 kernel / 'external checker' written in Lean 4

lean4-mode

Emacs major mode for Lean 4

tba-2021

Materials for the course "theorem prover lab: applications in programming languages" at KIT, SS2021 edition

lean-chat

lean-crypto

Cryptographic routines for the Lean 4 language

SDL.lean

SDL2 bindings for lean

lean-gap

An embedding and formalization of GAP (groups, algorithms, Programming) in LEAN4

LeanREPL

lean4-itertools

A Lean 4 library for iterators.

lean4-example

Http.lean

Basic Http functionality in Lean (unfinished)

lean-protoc-plugin

lean4-assert-command

A simple assertion command for Lean4

Reservoir.lean

WIP unofficial package registry of Lean 4

lean-snakebird

An implementation of Snakebird in Lean.

Project1