Last released Jun 29, 2026
Glass-box Galois analysis for polynomials over Q up to degree 5 with proof-carrying output.
Supported by
