dapphub/klab

K framework proof explorer & smart contract specification format

JavaScriptStars 124Forks 31Watchers 124Open issues 66License GNU Affero General Public License v3.0

Details

仓库信息

Ownerdapphub

Homepage—

Last pushed2021-08-11

Last updated2025-12-15

Issues fetched at—

Community at a glance