snub uniform star polyhedra

How to say it using Mathlib.

Online web tool to view and edit StepMania charts (.sm/.ssc files) @ https://tillvit.github.io/smeditor

Stepmania .sm/.ssc file development tool

Advanced cross-platform rhythm game focused on keyboard play

The Noperthedron does not have Rupert Property: a proof in Lean4

The Lean version manager

pySLAM is a hybrid Python/C++ Visual SLAM pipeline supporting monocular, stereo, and RGB-D cameras. It provides a broad set of modern local and global feature extractors, multiple loop-closure stra…

Advanced text editor

A Lean formalisation of Maryna Viazovska's Fields Medal-winning solution to the sphere packing problem in dimension 8.

Lindemann–Weierstrass Theorem

The Lean Computer Science Library (CSLib)

A multilingual package manager for Arch Linux and the AUR.

Formalization of Game Theory in Lean4

Basic Unicode support for Lean 4

A template for blueprint-driven formalization projects in Lean.

Abstract polytopes in lean

A formalization of the Banach-Tarski theorem in Lean

The math library of Lean 4

Transfinite nimber calculator in C++

Formalisation of the theory of real closed fields in Lean 4.

A project to digitalise results from physics into Lean.

Package registry for Lean/Lake.

Lean formalization of the Kolmogorov extension theorem

Truly independent web browser

Combinatorial game library in Lean 4

raw maxwell models and maxwell fan website

Try a tactic at each step in a Lean proof.