Tag: isabelle

与Coq相比,Isabellecertificate助手的长处和短处是什么?

与Coq相比,Isabelle / HOLcertificate助理是否有缺点和优势?