logic-tools/sml-handbook logic-tools/sml-handbook

  • Stars
    star
    34
  • Rank 766,985 (Top 16 %)
  • Language
    OCaml
  • Created over 9 years ago
  • Updated almost 8 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
logic-tools/sml-handbook
github

logic-tools

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

SML code for Handbook of Practical Logic and Automated Reasoning - For Isabelle too

More Repositories

1

nadea

NaDeA (Natural Deduction Assistant) - With a Formalization in Isabelle
Isabelle
14
star
2

secav

Isabelle
3
star
3

simpro

SimPro (Simple Prover) - With a Formalization in Isabelle
Isabelle
2
star
4

spa

SPA: Students' Proof Assistant
Isabelle
2
star
5

axiom

Isabelle
1
star
6

logic-tools.github.io

HTML
1
star