Skip to content

Wave 8.1: A4Bridge.v — a4 bridge analysis, Boundary Theorem BT-8 - #47

Open
gHashTag wants to merge 1 commit into
mainfrom
wave8/w8.1-a4-bridge
Open

Wave 8.1: A4Bridge.v — a4 bridge analysis, Boundary Theorem BT-8#47
gHashTag wants to merge 1 commit into
mainfrom
wave8/w8.1-a4-bridge

feat(coq): Wave 8.1 a_4 bridge or BT-8 boundary theorem

1608165
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar