Release and compatibility

Site / CLI

0.2.2 / 0.2.2

API

1.2.2

Build

f06c39a76a6e04e646a4649bd77de8282db86004d5c3fcdeaa9e92fa87193af1

Lean

62b6a2291302d4bbeace37642a066b7510d0145c

Profiles

core, mathlib, std, discrete, number_theory, algebra, linear_algebra, topology, analysis, graph_theory, computability, probability, calculus

Planned profiles awaiting artifacts

None

Published

2026-10-08T09:04:22.891Z

Machine-readable release · Standalone CLI