cartesian-frames

A formalisation of Cartesian Frames, a perspective on embedded agency, in the HOL theorem prover.

最近更新: 4天前
成就
3
Star
1
Fork
成员(1)
镜像

搜索帮助