Filter your results
- 6
- 5
- 1
- 6
- 1
- 3
- 2
- 6
- 6
- 6
- 6
- 6
- 4
- 2
- 1
- 1
- 1
- 1
- 1
6 Results
|
|
sorted by
|
|
Reconstructing veriT Proofs in Isabelle/HOLPxTP 2019 - Sixth Workshop on Proof eXchange for Theorem Proving, Aug 2019, Natal, Brazil. pp.36-50, ⟨10.4204/EPTCS.301.6⟩
Conference papers
hal-02276530v1
|
||
|
Alethe: Towards a Generic SMT Proof Format (extended abstract)PxTP 2021 - 7th Workshop on Proof eXchange for Theorem Proving, Sep 2021, Pittsburgh, PA / virtual, United States. pp.49-54, ⟨10.4204/EPTCS.336.6⟩
Conference papers
hal-03341413v1
|
||
|
Stronger SMT Solvers for Proof Assistants : Proofs, Quantifier Simplification, Strategy SchedulesLogic in Computer Science [cs.LO]. Université de Lorraine, 2022. English. ⟨NNT : 2022LORR0135⟩
Theses
tel-03845527v1
|
||
|
Better SMT Proofs for Easier ReconstructionAITP 2019 - 4th Conference on Artificial Intelligence and Theorem Proving, Apr 2019, Obergurgl, Austria
Conference papers
hal-02381819v1
|
||
|
Quantifier Simplification by Unification in SMTFroCos 2021 - 13th International Symposium on Frontiers of Combining Systems, Sep 2021, Birmingham, United Kingdom. pp.232-249, ⟨10.1007/978-3-030-86205-3_13⟩
Conference papers
hal-03341368v1
|
||
|
Reliable Reconstruction of Fine-Grained Proofs in a Proof AssistantCADE 2021 - 28th International Conference on Automated Deduction, Jul 2021, Pittsburgh, PA / online, United States. ⟨10.1007/978-3-030-79876-5⟩
Conference papers
hal-03341357v1
|