awesome-coq icon indicating copy to clipboard operation
awesome-coq copied to clipboard
verified publisher icon coq-community

karate-coq updated to Rocq

Open affeldt-aist opened this issue 1 month ago • 0 comments

https://github.com/rocq-community/awesome-coq/blob/6520b5770bf5babc93f1dec730df3b6d34df0733/README.md?plain=1#L270

There is an updated version of this pdf that takes into account (among others) the renaming to Rocq: https://staff.aist.go.jp/reynald.affeldt/documents/karate-rocq.pdf

affeldt-aist avatar Oct 24 '25 06:10 affeldt-aist