Skip to content

AlgebraicAnalysis v0.1.0 — historical dependency archive

Choose a tag to compare

View all tags
@krystophny krystophny released this 08 Sep 20:20
· 49 commits to main since this release
v0.1.0
This tag was signed with the committer’s verified signature.
krystophny Christopher Albert
SSH Key Fingerprint: ARNu2jnP8I1sJSIRgpYCbp5/cwEB8FqKnMf0gYdIy5U
Verified
Learn about vigilant mode.
2fdc928
This commit was signed with the committer’s verified signature.
krystophny Christopher Albert
SSH Key Fingerprint: ARNu2jnP8I1sJSIRgpYCbp5/cwEB8FqKnMf0gYdIy5U
Verified
Learn about vigilant mode.

Historical AlgebraicAnalysis v0.1.0 source snapshot at 2fdc928835347a2638b6c85a4bfa770e3f70ed9e, used by Stafford38 formal v1.0.0 and v1.0.1.

This archival tag and release were created on 2026-09-08 to preserve the earlier dependency version on Zenodo. They do not imply that this GitHub tag existed at the time of the original verification. The source package already identified itself as version 0.1.0; no source file or historical dependency pin was changed.

Historical dependencies: Lean v4.33.1, Mathlib 0df444a360eaa60ab8c11dca51a86af692955474. This is an archival deposit, not a new verification under current dependencies. The current downstream releases use the newer cacheable Lean/Mathlib v4.33.0 stack and the new library release. License: Apache-2.0.

Assets 4
Loading