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

Lean 4 programming language and theorem prover

Formalization of Holder's Theorem for Ordered Semigroups and Groups

The math library of Lean 4

Finite field linear algebra library

The board game Sequencium with local and online multiplayer.

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

A free and opensource platform for studying the artificial language Lojban.

⚡ Native, high-performance, cross-platform desktop apps - built with Reason!

3D model of University High School, Fresno, CA

A basic shell.

A fast and clever hex editor for macOS

Google addon that replaces contractions with their non-contracted form.

Automate keypresses quickly

Parser for producing symbolic math ASTs

Step by step math solutions for everyone