221 followers
Concrete Semantics with Coq and CoqHammer https://t.co/KgRgurRxJu
Concrete Semantics with Coq and CoqHammer https://t.co/KgRgurRxJu
"Concrete Semantics with Coq and CoqHammer. (arXiv:1808.06413v1 [cs.LO])" #arXiv https://t.co/WBcymGUog5