可视化goi，一个将lambda术语翻译为证明网并在其上运行goi令牌机的图形工具visual-goi,A graphical tool to translate lambda terms to proof nets and run GoI token machine on it (2016-04-24, OCaml, 22KB, 下载0次)