GitHub repository: logic-tools/sml-handbook
Primary language: OCaml
Created: 2015-04-02T15:49:34Z
Description: SML code for Handbook of Practical Logic and Automated Reasoning - For Isabelle too