martijnrenssen
Results
1
comments of
martijnrenssen
Thanks for the quick responses, IEEE floats are exactly what we want to support in VerCors, so this will be very helpful 👍