qaware/findfacts

Project to make isabelle and the AFP easily searchable.

语言：Scala · GitHub 星标：9 · Fork：1

在 GitHub 上查看原仓库