StefanoDalMas

icon location Trento icon location Ex Apple SWE | Ex Huawei | MSc Computer Science @ University of Trento

Results 1 comments of StefanoDalMas

Yices2 MacOS Support

I would like to use it aswell -- are there any plans to move this forward, or is there any fundamental blocker?