logic-tools/nadea logic-tools/nadea

  • Stars
    star
    14
  • Rank 1,438,076 (Top 29 %)
  • Language Isabelle
  • License
    MIT License
  • Created almost 10 years ago
  • Updated about 2 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
logic-tools/nadea
github

logic-tools

Reviews

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

Repository Details

NaDeA (Natural Deduction Assistant) - 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

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