logic-tools/simpro logic-tools/simpro

  • Stars
    star
    2
  • Language Isabelle
  • License
    Other
  • Created about 9 years ago
  • Updated almost 3 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
logic-tools/simpro
github

logic-tools

Reviews

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

Repository Details

SimPro (Simple Prover) - With a Formalization in Isabelle

More Repositories

1

sml-handbook

SML code for Handbook of Practical Logic and Automated Reasoning - For Isabelle too
OCaml
34
star
2

nadea

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

secav

Isabelle
3
star
4

spa

SPA: Students' Proof Assistant
Isabelle
2
star
5

axiom

Isabelle
1
star
6

logic-tools.github.io

HTML
1
star