feat: Add Concise Evidence DependencyTriples and MembershipTriples su…#218

kallal79 wants to merge 1 commit intoveraison:mainveraison/corim:mainfrom

kallal79:feature/concise-evidence-enhancementkallal79/corim-kallal:feature/concise-evidence-enhancementCopy head branch name to clipboard