Skip to content

Prove E8_basis_generates: remove axiom, add explicit proof #346

Prove E8_basis_generates: remove axiom, add explicit proof

Prove E8_basis_generates: remove axiom, add explicit proof #346

Triggered via pull request December 30, 2025 13:47
Status Success
Total duration 23s
Artifacts

test.yml

on: pull_request
Matrix: test
Fit to window
Zoom out
Zoom in