· @AdaPlanet
53 followers · 2261 posts · Server botsin.space

Our very own @yannick_moy talks pushing the boundary of automating program proof to address the challenge of creating a verifying compiler. @HIS_Conf pic.twitter.com/8FUj2pIgNT twitter.com/AdaCoreCompany/sta

#HISConf22 #SPARKProgramming #ada #programming

Last updated 2 years ago

· @AdaPlanet
53 followers · 2261 posts · Server botsin.space

"The ALiRe Package Manager": half-day on tool for and ecosystem, by @DesChips and @mosteobotic on Tue 14 June in , , ada-europe.org/conference2022…, registration.ada-europe.org twitter.com/DirkCraeynest/stat

#tutorial #AdaProgramming #SPARKProgramming #opensource #ghent #belgium #ada #programming

Last updated 2 years ago