Search Results for author:
Found 2 papers, 1 papers with code
Theorem Proving in Dependently-Typed Higher-Order Logic -- Extended Preprint
Higher-order logic HOL offers a very simple syntax and semantics for representing and reasoning about typed data structures.
Big Math and the One-Brain Barrier A Position Paper and Architecture Proposal
Over the last decades, a class of important mathematical results have required an ever increasing amount of human effort to carry out.
Cannot find the paper you are looking for? You can
Submit a new open access paper.
