SupGen ist jetzt nativ in HVM4 integriert 🥳 Paralleles Programm/Proof-Miner/Verifier über Interaktionsnetze