Home page of Robert Stephen Boyer, Professor Emeritus, Computer Sciences Department
Home mailing address:
614 W. 32nd St.
Austin, TX 78705
Graduated Ph. D. students
The Nqthm theorem prover, some examples of its use, and documentation of its
logic and user commands.
directory Technical reports and Ph. D. theses, plus sources,
executables, and examples of use for several computer programs, mainly in the
research areas of program verification and automated reasoning. The exact
same material may be obtained at ftp://ftp.cs.utexas.edu/pub/boyer, which is
to say, via anonymous ftp to ftp.cs.utexas.edu, under directory pub/boyer.
About one gigabyte of material, authored by many people.
The whole 9 yards.
Happiness and the Art of Being
Nothing on my web pages should be taken as representing the official position
of the University of Texas at Austin or any other part of the government of
the State of Texas.
Two Photos of Me
It is generally granted that 'p implies p', which is to say, 'if p, then p'.
So what about this claim: 'If any number is prime, then any number is prime'?