K vs. Coq as Language Verification Frameworks

less than 1 minute read

Published:

Ever wondered how K and Coq compare and contrast as language verification frameworks? I posted a series of articles comparing K and Coq as language verification frameworks through a working example.

It’s in three parts:

  1. K vs. Coq as Language Verification Frameworks (Part 1 of 3) (On RV Blog) (On Medium)
  2. K vs. Coq as Language Verification Frameworks (Part 2 of 3) (On RV Blog) (On Medium)
  3. K vs. Coq as Language Verification Frameworks (Part 3 of 3) (On RV Blog) (On Medium)