alexjbest

leaff

Leaff is a diff tool for Lean environments

lean-generalisation

cluster-pictures

This package implements the machinery of cluster pictures of Maistret, Morgan, Dokchitser and Dokchitser in Sage.

CAP-game

alexjbest.github.io

My simple homepage for quick access to files and links.

ant-lorentz

flint2

FLINT (Fast Library for Number Theory)

notebooks

Some mathy ipython notebooks (in Sage / Magma probably)

talks

Slides and notes I have prepared for talks.

Coleman.jl

Coleman integration in Julia/Nemo

chabnf

sikseks chabnf progrmas

doc-gen4

Document Generator for Lean 4

Hecke.jl

Computational algebraic number theory

Lean-game-maker

This project converts structured Lean code into an interactive browser game.

lean-slides

A tool to auto-generate and render slides from Markdown comments in the Lean editor.

lean4

Lean 4 programming language and theorem prover

lean4game

LeanCamCombi

Formalisation of the Cambridge Part II and Part III courses Graph Theory, Combinatorics, Extremal and Probabilistic Combinatorics in Lean

leanprover-community.github.io

Hosts the website for mathlib and other Lean community infrastructure.

lmfdb

L-Functions and Modular Forms Database

lorentz

mathematics_in_lean_source

Source code for the Mathematics in Lean tutorial.

mathlib4-all-tactics

Markdown file of the list and explanations of all mathlib4 tactics

maxima-feedstock

A conda-smithy repository for maxima.

ProofWidgets4

Helper toolkit for creating your own Lean 4 UserWidgets

sage

Main repository of SageMath. Now open for Issues and Pull Requests.

std4

Standard Library for Lean 4

symmetric_project

sympy.github.com

SymPy's web page (sympy.org)

update-versions-action

An action to create and update lean-x.y.z release branches