docs(proofs): inventory Agda-first reconciliation without retiring Idris2 - #137

docs(proofs): inventory Agda-first reconciliation without retiring Idris2#137

hyperpolymath merged 1 commit into

mainhyperpolymath/vcl-ut:mainfrom

proofs/agda-reconciliation-policy-2026-11hyperpolymath/vcl-ut:proofs/agda-reconciliation-policy-2026-11Copy head branch name to clipboard