Featured
Business
Design
Education
How-to & DIY
Marketing & SEO
Programming
Research
Science
Storyboards
Technology
Avatar for Romain Ruetschi

Romain Ruetschi

romac
0 Stars

Decks

Formal verification of Scala programs with Stainless
Avatar for Romain Ruetschi romac
0
670
Formal verification of Scala programs with Stainless
Avatar for Romain Ruetschi romac
0
250
Refine your types!
Avatar for Romain Ruetschi romac
0
210
Formal verification in Scala with Leon
Avatar for Romain Ruetschi romac
0
370
An encoding of Any for Leon
Avatar for Romain Ruetschi romac
0
63

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