标签： isabelle
我正试图了解https://www.isa-afp.org/entries/Incompleteness.html
我是Isabelle的新手，我想按照自己的方式来处理依赖项。我宁愿递归地执行此操作，也不愿自下而上。