klab
K framework proof explorer & smart contract specification format
Archived
123 stars
17 watching
36 forks
Language: JavaScript
last commit: over 3 years ago klab K framework proof explorer & smart contract specification format