Skip to content

Add IProof interface with a tree structure and add relevant adapter for []Search.ProofStruct - #64

Open
jrosain wants to merge 20 commits into
GoelandProver:masterfrom
jrosain:add-proof-adapter
Open

Add IProof interface with a tree structure and add relevant adapter for []Search.ProofStruct#64
jrosain wants to merge 20 commits into
GoelandProver:masterfrom
jrosain:add-proof-adapter

Add proof interface and adapter for Search.ProofStruct

85f405e
Select commit
Loading
Failed to load commit list.
Sign in for the full log view