Logic Tools (@logic-tools)
Guthub

logic-tools

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    57
  • Global Org. Rank 74,906 (Top 24 %)
  • Registered over 9 years ago
  • Most used languages
    Isabelle     71.4 %
    HTML
         14.3 %
    OCaml
         14.3 %
  • Location 🇩🇰 Denmark
  • Country Total Rank 1,240
  • Country Ranking
    Isabelle     1
    OCaml
         11
    HTML
         814

Top 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

axiom

Isabelle
1
star
7

logic-tools.github.io

HTML
1
star