logic-tools/axiom logic-tools/axiom

  • Stars
    star
    1
  • Language Isabelle
  • Created over 4 years ago
  • Updated about 2 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
logic-tools/axiom
github

logic-tools

Reviews

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

Repository Details

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

spa

SPA: Students' Proof Assistant
Isabelle
2
star
6

logic-tools.github.io

HTML
1
star