docs - vein.git - VEIN: VErification via Interaction Nets

index : vein.git

VEIN: VErification via Interaction Nets

Eric Marin

about summary refs log tree commit diff

path: root/docs

Mode	Name	Size
-rw-r--r--	proof.md	31423	log plain

generated by cgit v1.2.3 (git 2.39.1) at 2026-04-15 23:17:12 +0000