vein.git/appunti, branch master
VEIN: VErification via Interaction Nets
http://git.ericmarin.dev/vein.git/atom?h=master
2026-03-16T09:23:02+00:00
defined modules
2026-03-16T09:23:02+00:00
ericmarin
maarin.eric@gmail.com
2026-03-13T15:42:00+00:00
urn:sha1:a0b1e7f6a8c11ed98ae20ac484e2fe9f75b9b85f
added constraint to prover
2026-03-11T15:07:04+00:00
ericmarin
maarin.eric@gmail.com
2026-03-11T15:07:04+00:00
urn:sha1:fb544e2089e0c52bd83ffe56f2f4e8d7176564ee