logic-tools/spa logic-tools/spa

  • Stars
    star
    2
  • Language Isabelle
  • Created over 6 years ago
  • Updated over 5 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
logic-tools/spa
github

logic-tools

Reviews

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

Repository Details

SPA: Students' Proof Assistant

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

simpro

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

axiom

Isabelle
1
star
6

logic-tools.github.io

HTML
1
star