goodlyrottenapple/isabelle-syllogisms goodlyrottenapple/isabelle-syllogisms

  • Stars
    star
    2
  • Language Isabelle
  • License
    MIT License
  • Created almost 10 years ago
  • Updated about 7 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
goodlyrottenapple/isabelle-syllogisms
github

goodlyrottenapple

Reviews

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

Repository Details

Isabelle/HOL formalisation of simple syllogistic logics

More Repositories

1

quickjs-hs

Haskell bindings for the QuickJS library
Haskell
5
star
2

calculus-toolbox-2

New version of the calculus toolbox
Haskell
3
star
3

Holiday-inator-3000

Haskell
1
star
4

POStagger

A Part-Of-Speech tagger using the Viterbi algorithm
Haskell
1
star
5

muddy-children

The Muddy Children Puzzle formalised in Isabelle 2016
Scala
1
star