vein.git/prover.py, 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
changed to float
2026-03-12T14:56:24+00:00
ericmarin
maarin.eric@gmail.com
2026-03-12T14:37:53+00:00
urn:sha1:19652ec48be4c6faf3f7815a9281b611aed94727
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
added scale
2026-03-10T17:05:46+00:00
ericmarin
maarin.eric@gmail.com
2026-03-10T16:57:36+00:00
urn:sha1:8619ee7a61bafb8c401087508b886e37779be07b
two nets
2026-03-10T16:50:08+00:00
ericmarin
maarin.eric@gmail.com
2026-03-10T16:42:02+00:00
urn:sha1:0882fc5328127f68a7d79c06d0c7decdee770bb9
added prover script
2026-03-10T11:05:35+00:00
ericmarin
maarin.eric@gmail.com
2026-03-10T10:05:26+00:00
urn:sha1:7933d744e06337f1d69b7da83f2cee1611556097