vein.git/chapters/01-introduction.tex, branch thesis
VEIN: VErification via Interaction Nets
http://git.ericmarin.dev/vein.git/atom?h=thesis
2026-05-07T15:08:23+00:00
interaction rules subsection 3.1.2
2026-05-07T15:08:23+00:00
ericmarin
maarin.eric@gmail.com
2026-05-06T17:31:37+00:00
urn:sha1:66857fcce9159e98ec777a781d8b13b4f37c021d
introduction
2026-05-05T08:52:20+00:00
ericmarin
maarin.eric@gmail.com
2026-04-28T17:32:00+00:00
urn:sha1:44972e22a7db20b0614cd76aef38cf8d822af1a1
Initial draft for:
- Context
- Problem
- Solution
- Validation
- Outline
thesis structure
2026-04-28T15:58:05+00:00
ericmarin
maarin.eric@gmail.com
2026-03-09T14:15:41+00:00
urn:sha1:7784e295a14a957e3e04cf2de7b6f4be0247992b