yannham/visual-goi

A graphical tool to translate lambda terms to proof nets and run GoI token machine on it

语言：OCaml · GitHub 星标：10 · Fork：0

在 GitHub 上查看原仓库