增强现实AR>> andes>> 返回
项目作者： c-cube

项目描述 ：
[toy, wip] A chain with lots of lemmas. More specifically, a logic programming engine.
高级语言： OCaml
项目地址: git://github.com/c-cube/andes.git
创建时间： 2018-07-25T17:26:54Z
项目社区：https://github.com/c-cube/andes
开源协议：
下载


Andes build

A chain with lots of lemmas. More specifically, a logic programming engine.

This is a work in progress research prototype. It might not even be correct.