Skip to content

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

Merged
hyperpolymath merged 1 commit into
mainfrom
proofs/agda-reconciliation-policy-2026-11
Nov 2, 2026
Merged

docs(proofs): inventory Agda-first reconciliation without retiring Idris2#137
hyperpolymath merged 1 commit into
mainfrom
proofs/agda-reconciliation-policy-2026-11

docs(proofs): inventory Agda migration without overclaiming in vcl-ut

4a2ca0f
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar