Skip to content

feat(coq): Wave 8.4 — discharge cell600_J_off_diagonal_KO6 axiom (Strategy A) - #44

Open
gHashTag wants to merge 1 commit into
mainfrom
wave8/w8.4-ko6-j-offdiag
Open

feat(coq): Wave 8.4 — discharge cell600_J_off_diagonal_KO6 axiom (Strategy A)#44
gHashTag wants to merge 1 commit into
mainfrom
wave8/w8.4-ko6-j-offdiag

feat(coq): Wave 8.4 discharge cell600_J_off_diagonal_KO6 axiom

9a1e572
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar