Author · 3 books in the library
by Benjamin C Pierce , Arthur Azevedo de Amorim , Chris Casinghino , Marco Gaboardi , Michael Greenberg , Cătălin Hriţcu , Vilhelm Sjöberg , Andrew Tolmach , Brent Yorgey
Software engineering
by Arthur Azevedo de Amorim , Marco Gaboardi , Michael Greenberg , Brent Yorgey , Cătălin Hriţcu , Benjamin C Pierce , Chris Casinghino , Vilhelm Sjöberg
by Leonidas Lampropoulos , Benjamin C Pierce
Property based testing , Coq , Software engineering
We can't find the internet
Attempting to reconnect
Something went wrong!