1 citations · 1 across the 5 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2024
A Qualitative Analysis of Kernel Extension for Higher Order Proof Checking
Shuai Wang
For the sake of reliability, the kernels of Interactive Theorem Provers (ITPs) are generally kept relatively small. On top of the kernel, additional symbols and inference rules are…
cs.LO2024
ProofCloud: A Proof Retrieval Engine for Verified Proofs in Higher Order Logic
Shuai Wang
This paper introduces ProofCloud, a proof retrieval engine for verified proofs in higher order logic. It provides a fast proof searching service for mathematicians and computer sci…