Report copyright - Regression Proving with Dependent Types: Theory and Practicele/module selection asynchronous proof checking Examples: Make, Isabelle [ITP ’14] Proof parallelization: leverage multi-core
Please pass captcha verification before submit form