Skip to content

Prove E8_basis_generates: remove axiom, add explicit proof #343

Prove E8_basis_generates: remove axiom, add explicit proof

Prove E8_basis_generates: remove axiom, add explicit proof #343

Triggered via pull request December 30, 2025 12:20
Status Success
Total duration 25s
Artifacts

test.yml

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