Computer Laboratory

Technical reports

Combining the Hol98 proof assistant with the BuDDy BDD package

Mike Gordon, Ken Friis Larsen

December 1999, 71 pages

Full text

Only available on paper (could be scanned on request).

BibTeX record

@TechReport{UCAM-CL-TR-481,
  author =	 {Gordon, Mike and Larsen, Ken Friis},
  title = 	 {{Combining the Hol98 proof assistant with the BuDDy BDD
         	   package}},
  year = 	 1999,
  month = 	 dec,
  institution =  {University of Cambridge, Computer Laboratory},
  address =	 {15 JJ Thomson Avenue, Cambridge CB3 0FD, United Kingdom,
          	  phone +44 1223 763500},
  number = 	 {UCAM-CL-TR-481}
}