Rafael Castro Gonçalves Silva

icon indicating an email [email protected]

icon location Copenhage - DK

Results 1 repositories owned by Rafael Castro Gonçalves Silva

W-in-Coq

27
Stars
1
Forks
Watchers

This is a Coq formalization of Damas-Milner type system and its algorithm W.

verified publisher icon rafaelcgs10