Theorem proving / reasoning using CIF dictionaries

Peter Murray-Rust pm286 at
Fri Dec 7 12:53:27 GMT 2018

Joe Cornell is a mathematician who is interested in theorem proving
starting from semantic definitions. The CIF dictionaries could be an
interesting starting point where definitions and executable code are
coupled. Do you know of efforts to use CIF to calculate properties or
relations that are not explicitly defined in the dictionaries - possible
with constraints.

Hope this makes some sense!


Peter Murray-Rust
Reader Emeritus in Molecular Informatics
Unilever Centre, Dept. Of Chemistry
University of Cambridge
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <>

More information about the comcifs mailing list