sacerdot/sesame
Implementation in OCaml of a strong reduction machine for Intuitionistic Multiplicative Exponential Linear Logic (IMELL) that has linear overhead on the number of reduction steps and the size of the initial term
正在读取项目信息…
开源雷达国内 GitHub 镜像站
加速通道已就绪
返回列表