标签： functional-programming logic isabelle
如果想要测试Archieve of Isabelle Proofs ，请从AVL Tree开始，如何进行测试？ 证据在那里并且得到了Isabelle Ide的批准，但是要测试什么以及如何测试？