如何从命令行验证* .thy文件是有效的Isabelle证明？我猜想在GUI中进行操作就等于看到没有问题/错误/警告等。但是有没有办法从命令行执行此操作？
command-line isabelle
command-line ×1
isabelle ×1