Fuzz

MaRDI QIDQ40367swMATHFDO

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