Skip to content

Files

Failed to load latest commit information.

Latest commit

 Cannot retrieve latest commit at this time.

History

History

ccg

Folders and files

NameName
Last commit message
Last commit date

parent directory

..
 
 
 
 
 
 
 
 
 
 
 
 
 
 
Book: CCG - Automated termination analysis
Author: Daron Vroon

To certify the books use the standard procedure i.e. make
or use ../cert.pl ccg.cert ccg-settings-dependencies.cert

To get CCG to do termination proofs, use the following two commands.

(include-book "ccg" :ttags ((:ccg)) :load-compiled-file nil)
(ld "ccg-settings.lsp")

Documentation - :doc ccg 

See Readme.lsp for licensing and other information.