Andromedans/andromeda

A proof assistant for general type theories

语言：OCaml · GitHub 星标：318 · Fork：35

在 GitHub 上查看原仓库