Fuzz

swMATH28653MaRDI QIDQ40367FDOQ40367

Author name not available (Why is that?)

Official website: http://spivey.oriel.ox.ac.uk/corner/Fuzz

Cited In (5)

• A relational approach to an algebraic community: from Paul Erdős to He Jifeng
• The teaching tool CalcCheck: a proof-checker for Gries and Schneider's ``Logical approach to discrete math
• MathEdit
• CalcCheck
• CalcCheck: a proof checker for teaching the ``Logical approach to discrete math

This page was built for software: Fuzz