Skip to content

feat(proofs): unify Agda suite, audit gates, and run-notices catalogue - #81

Merged
arena-ai-coding-agent[bot] merged 1 commit into
mainfrom
arena/01a0df7c-metamanifold-webui
Sep 27, 2026
Merged

feat(proofs): unify Agda suite, audit gates, and run-notices catalogue#81
arena-ai-coding-agent[bot] merged 1 commit into
mainfrom
arena/01a0df7c-metamanifold-webui

feat(proofs): unify Agda suite, audit gates, and run-notices catalogue

4341cc3
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar