Ada maxr • Now • 100%

FOSDEM 2021: Adding contracts to the Ada standard libraries

youtu.be