Back to Results
First PageMeta Content
Metalogic / Model theory / Isabelle / Admissible rule / Measure theory / Logic / Mathematical logic / Mathematics


Towards Fast Interactive Verification through Strong Higher-Order Automation
Add to Reading List

Document Date: 2017-08-08 03:28:30

Open Document

File Size: 167,02 KB

Share Result on Facebook
UPDATE