所有者 · runtimeverification

runtimeverification

runtimeverification 收录中的开源项目，按星标数排序。

共 2 个项目

#1
evm-semantics ↗@runtimeverificationKCL
Ethereum Virtual Machine (EVM) 的 K 语义定义
★ 589-1近 7 天星标变化
#2
k ↗@runtimeverificationPython
K Framework Tools 7.0
★ 586+4近 7 天星标变化