Replace `.` by `.K` in proof specs - Githubissues

runtimeverification / wasm-semantics

A Prototype Formal Semantics of WebAssembly in K

Other

74 stars 18 forks source link

Replace `.` by `.K` in proof specs #610

Closed tothtamas28 closed 3 months ago