leaff
Leaff is a diff tool for Lean environments
Possibly Available
About
Hoi!
Evidence-backed skills
Repositories
ajs
Asmjit superoptimiser
cluster-pictures
This package implements the machinery of cluster pictures of Maistret, Morgan, Dokchitser and Dokchitser in Sage.
talks
Slides and notes I have prepared for talks.
flint2
FLINT (Fast Library for Number Theory)
Coleman.jl
Coleman integration in Julia/Nemo
aut-forms-arthur-selberg
Automorphic Forms and the Arthur-Selberg Trace Formula
alexjbest.github.io
My simple homepage for quick access to files and links.
std4
Standard Library for Lean 4