CPUmodels

GoNative project: formal machines models in Coq

GitHub

36 stars
4 watching
8 forks
Language: Coq
last commit: about 7 years ago