Papers
Communities
Events
Blog
Pricing
Search
Open menu
Home
Papers
2501.05463
Cited By
Proof Recommendation System for the HOL4 Theorem Prover
31 December 2024
Nour Dekhil
Adnan Rashid
Sofiene Tahar
Re-assign community
ArXiv
PDF
HTML
Papers citing
"Proof Recommendation System for the HOL4 Theorem Prover"
1 / 1 papers shown
Title
Tactic Learning and Proving for the Coq Proof Assistant
Lasse Blaauwbroek
Josef Urban
H. Geuvers
46
23
0
20 Mar 2020
1
