vein.git/xor.in, 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 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 MLP
2026-03-10T16:34:09+00:00
ericmarin
maarin.eric@gmail.com
2026-03-10T15:29:33+00:00
urn:sha1:af2b13214579d78827392e762149fa8824526aa9