Skip to content
@logic-tools

Logic Tools

NaDeA and other open source software for teaching logic

Popular repositories Loading

  1. sml-handbook sml-handbook Public

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

    OCaml 34 5

  2. nadea nadea Public

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

    Isabelle 14 2

  3. secav secav Public

    Isabelle 3

  4. simpro simpro Public

    SimPro (Simple Prover) - With a Formalization in Isabelle

    Isabelle 2 1

  5. spa spa Public

    SPA: Students' Proof Assistant

    Isabelle 2

  6. logic-tools.github.io logic-tools.github.io Public

    HTML 1

Repositories

Showing 10 of 13 repositories
  • nadea Public

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

    logic-tools/nadea’s past year of commit activity
    Isabelle 14 MIT 2 0 0 Updated Nov 20, 2022
  • axiom Public
    logic-tools/axiom’s past year of commit activity
    Isabelle 1 0 0 0 Updated Aug 14, 2022
  • secav Public
    logic-tools/secav’s past year of commit activity
    Isabelle 3 0 0 0 Updated May 15, 2022
  • simpro Public

    SimPro (Simple Prover) - With a Formalization in Isabelle

    logic-tools/simpro’s past year of commit activity
    Isabelle 2 1 0 0 Updated Jan 10, 2022
  • micro Public
    logic-tools/micro’s past year of commit activity
    Agda 0 0 0 0 Updated Jul 2, 2021
  • spa Public

    SPA: Students' Proof Assistant

    logic-tools/spa’s past year of commit activity
    Isabelle 2 0 0 0 Updated Aug 1, 2019
  • less Public

    Substitutionless First-Order Logic: A Formal Soundness Proof

    logic-tools/less’s past year of commit activity
    Isabelle 0 0 0 0 Updated Jul 15, 2018
  • unification Public

    Formalization of First-Order Syntactic Unification

    logic-tools/unification’s past year of commit activity
    Isabelle 0 0 0 0 Updated Jul 3, 2018
  • continuum Public

    Continuum - Results about Countable and Uncountable Sets

    logic-tools/continuum’s past year of commit activity
    Isabelle 0 0 0 0 Updated Jul 3, 2018
  • mvl Public

    MVL - Formalization of Many-Valued Logics

    logic-tools/mvl’s past year of commit activity
    Isabelle 0 0 0 0 Updated Sep 30, 2017
View all repositories

Top languages

Loading…

Most used topics

Loading…