But my learning speed is slow...
I want to apply Coq for describing application specifications.
But I do not think that I use Coq directly to describe application specifications.
I convert specifictions in natural language(but formal to some extent) to Coq language and process them by Coq.
Does it work good ?
No comments:
Post a Comment