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

about summary refs log tree commit diff

path: root/appunti

blob: b64b282744991b28027054aed09c40f8cf0b8c2c (plain)

scalability

soundness of translated nn

compatibility with other types of network

comparison with other tool