inpefess/isabelle-client

A client for Isabelle server (https://isabelle.in.tum.de)

语言：TeX · GitHub 星标：14 · Fork：1

话题：isabelle · tcp-client

在 GitHub 上查看原仓库