擁有者 · 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 天星數變化