码农家园

模式与表和数据库之间有什么区别？

databasedatabase-tabledefinitionschema

关于类型：如何在 Isabelle 中对”布尔值”进行归纳定义

booleandefinitionisabellepredicatetypes