search

dapphub / klab

K framework proof explorer & smart contract specification format
GNU Affero General Public License v3.0
124 stars 36 forks source link

Unbound vars #417

Closed MrChico closed 4 years ago

MrChico commented 4 years ago

duplicate of #415 for ci run