Formalization and Verification of Fuzzy Approximate Reasoning by Mizar
Book chapter (March 2024)
The most recent citing publications are shown below. View all 160 publications that cite this research output on Dimensions.
MMLKG: Knowledge Graph for Mathematical Definitions, Statements and Proofs
Article in Scientific Data (November 2023)
Learning Proof Transformations and Its Applications in Interactive Theorem Proving
Book chapter (September 2023)