Reliably Reproducing Machine-Checked Proofs with the Coq Platform.
Karl PalmskogEnrico TassiThéo ZimmermannPublished in: CoRR (2022)
Keyphrases
- theorem prover
- real time
- formal methods
- neural network
- data mining
- batch processing
- theorem proving
- mathematical knowledge
- distributed architecture
- search algorithm
- flowshop
- formal proofs
- formal proof
- inference rules
- mobile applications
- optimal solution
- image sequences
- website
- search engine
- information retrieval
- databases
- data sets