Embedding Complex Decision Procedures Inside an Interactive Theorem Prover.评价结果

评估详情