jack-pappas/NHol

An implementation of higher-order logic (HOL) in F#. Based on hol-light, Isabelle, and HOL4.

语言：F# · GitHub 星标：11 · Fork：4

在 GitHub 上查看原仓库