Work
Isabelle
higher-order logic (HOL) proof assistant
Overview
Contribute to a document
Read and enrich the people, organizations and context referenced in case files.
Work
higher-order logic (HOL) proof assistant
Read and enrich the people, organizations and context referenced in case files.
Explore the cases that include this wiki entry.
No case files include this entry yet.
Investigate this subjectWe're looking for works and people connected to this item.
Isabelle
Looking for what this connects to.
higher-order logic (HOL) proof assistant
We label verified structured information, user opinions, and AI-discovered relationships separately.
Be the first to comment.