search

runtimeverification / iele-semantics

Semantics of Virtual Machine for IELE prototype blockchain
Other
131 stars 33 forks source link

Add KIELE script to Nix package #244

Closed ttuegel closed 3 years ago

ttuegel commented 3 years ago

Fixes runtimeverification/iog-pm#56.