Login / Signup
Experiences from Exporting Major Proof Assistant Libraries.
Michael Kohlhase
Florian Rabe
Published in:
CoRR (2020)
Keyphrases
</>
case study
theorem proving
linear logic
digital libraries
test bed
real time
multimedia
website
image segmentation
multi agent
expert systems
domain knowledge
theorem prover
mathematical proofs