"This is is relevant because it suggests that fully formalizing the fully developed mathematical language of the given domain, we will be well on our way to having reference specifications and with computable implementations."
There are two "is" at the beginning of the sentence.
Also a "by" could be added between "that" and "fully".
"This is is relevant because it suggests that fully formalizing the fully developed mathematical language of the given domain, we will be well on our way to having reference specifications and with computable implementations."
There are two "is" at the beginning of the sentence. Also a "by" could be added between "that" and "fully".