Synthical
Your space
Profile
Activity
Favorites
Folders
Feeds
All articles
Claim page
Nour Dekhil
Follow
Activity
Upvotes
Folders
Articles
1
Proof Recommendation System for the HOL4 Theorem Prover
31 December 2024 by
Nour Dekhil
and
others
Logic in Computer Science
,
Artificial Intelligence
This is an AI-generated summary
Key points
Topics
We have not analyzed this profile yet, please check back later