PROVE-8, V.03
Author: A. David Leach
Famborough, Hampshire, England
Source Language: PAL-8
Memory Required: 4K

Abstract: The art of Campanology, or church-bell ringing in the
English manner, uses a traditional form of music based on mathematical
rules. One of the rules is that no permutation of the bells may occur more
than once in a composition. To prove this by hand can be a long, tedious

PROVE can handle compositions of up to 500 leads in any single-hunt
method, plain or otherwise, on up to 12 bells.

A composition is entered in the standard format on the teletype, and
the PDP-8 interrupts to print the details of any repetition.

Media Price Code: A3, B4, F5
Catalog: August 1978