W-in-Coq
This is a Coq formalization of Damas-Milner type system and its algorithm W.
26 stars
3 watching
1 forks
Language: Coq
last commit: over 4 years ago W-in-Coq This is a Coq formalization of Damas-Milner type system and its algorithm W.