logic-tools / sml-handbook

SML code for Handbook of Practical Logic and Automated Reasoning - For Isabelle too
34Updated 8 years ago

Alternatives and similar repositories for sml-handbook:

Users that are interested in sml-handbook are comparing it to the libraries listed below