Nous organisons notre premier appel à la communauté ZisK. Session destinée aux développeurs travaillant sur la preuve en temps réel. À quoi s’attendre : – Plongée profonde dans l’architecture ZisK et le système de contraintes – Questions-réponses en direct avec @jbaylina – Exemples pratiques de travail avec ZisK Inscrivez-vous dès maintenant :