Skip to content

feat(proofs): L-T27-SYNC-L1 — bootstrap trinity proofs subtree from trios - #586

Closed
gHashTag wants to merge 8 commits into
masterfrom
feat/l-t27-sync-l1
Closed

feat(proofs): L-T27-SYNC-L1 — bootstrap trinity proofs subtree from trios#586
gHashTag wants to merge 8 commits into
masterfrom
feat/l-t27-sync-l1

feat(proofs): import trinity Coq base from trios via git-subtree (L1 …

f280e9c
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar