3 ms·
When you say that you verified a large system in Coq, in what language did you write your system? does it mean that your language semantics has do be defined in
by yodsanklai 11y ago
When you say that you verified a large system in Coq, in what language did you write your system? does it mean that your language semantics has do be defined in Coq, or did you write your system using Coq as a programming language?