zhang-liao / sml-handbook Goto Github PK
View Code? Open in Web Editor NEWThis project forked from logic-tools/sml-handbook
SML code for Handbook of Practical Logic and Automated Reasoning - For Isabelle too
Home Page: http://logic-tools.github.io/