Fuzz

swMATH28653MaRDI QIDQ40367FDOQ40367

Author name not available (Why is that?)

Cited In (3)

• A Relational Approach to an Algebraic Community: From Paul Erdős to He Jifeng
• CalcCheck: a proof checker for teaching the ``Logical approach to discrete math
• The Teaching Tool CalcCheck A Proof-Checker for Gries and Schneider’s “Logical Approach to Discrete Math”

This page was built for software: Fuzz