This question shows research effort; it is useful and clear
1
This question does not show any research effort; it is unclear or not useful
Bookmark this question.
Show activity on this post.
I’m a beginner to kami and coq. I’m trying to implement a spec and prove the same using kami. Can anyone please tell me how to start with the coding part,how to write code for the implementation and spec in kami?