标签：交互式证明

一个用于Agda交互式证明开发的状态保持服务器，支持持续会话管理、目标导向的证明操作以及批处理类型检查。