@cella-lang/programlogic
中文文档A language-generic program logic for Cella Lang: a language gives one step (next configuration, a final value, or a fault with its reason) and a separation algebra of resources; the package gives the weakest precondition Wp (explicitly step-indexed), soun
运行依赖 0
没有声明运行依赖。
Peer 依赖 1
开发依赖 0
没有声明开发依赖。