URL details: pxtp.gitlab.io/2021
URL title:
Seventh Workshop on Proof eXchange for Theorem Proving (PxTP'2021)
URL keywords:
theorem proving, theorem prover, automated deduction, exchange, proof objects, proofs, i
URL last crawled:
2022-06-05
URL speed:
0.179 MB/s,
downloaded in 0.090 seconds
1 external links to this url
Only links from external domains are shown on this page.
found date
link text
from url
2021-05-30
Workshop on Proof eXchange for Theorem Proving (PxTP)