$30 off During Our Annual Pro Sale. View Details »
Featured
Business
Design
Education
How-to & DIY
Marketing & SEO
Programming
Research
Science
Storyboards
Technology

Romain Ruetschi

romac
0 Stars

Decks

Formal verification of Scala programs with Stainless
romac
0
360
Formal verification of Scala programs with Stainless
romac
0
150
Refine your types!
romac
0
100
Formal verification in Scala with Leon
romac
0
150
An encoding of Any for Leon
romac
0
44

Speaker Deck Pro: Add privacy options and schedule the publishing of your decks Upgrade