An example of goal-directed proof
Voice is AI-generated
Connected to paperThis paper is a preprint and has not been certified by peer review
An example of goal-directed proof
Roland Backhouse, Walter Guttmann, Michael Winter
AbstractWe prove a non-trivial property of relations in a way that emphasises the creative process in its construction.