cipher1024

slim_check

Randomized, property-based testing for Lean

lean4-prog

advent-of-lean

lean-datalog

lean-depot

lean-pl

olean-rs

parser/viewer for olean files

search-trees

settings

sf-lean

Software Foundations using the Lean Theorem Prover

smt-lean

call-cc

Dash-User-Contributions

Dash repo of user contributed docsets

elan

A Lean version manager

flypitch

A formal proof of the independence of the continuum hypothesis

lean

Lean Theorem Prover

lean-differential-topology

This may become a formalization of smooth manifolds in lean

lean-for-hackers

lean-homotopy-theory

A development of homotopy theory in the Lean formal theorem prover.

lean-mode

Emacs mode for Lean

lean4

Lean4 work in progress repo

mathlib

Lean mathematical components library

max-sharing

melpa

Recipes and build machinery for the biggest Emacs package repo

monoidal-categories-reboot

monoidal categories in the Lean theorem prover

oak-hardware

Formal specification and verification of hardware, especially for security and privacy.

PG

This repo is the new home of Proof General

serialean

specifica

Umbrella project for short, swimlane and various TLA+ tools (parser, evaluator)

transport