cosa

A thing about Coq-verified Shape Analysis

GitHub

4 stars
3 watching
0 forks
Language: Coq
last commit: about 10 years ago