Similar repositories to goodlyrottenapple/isabelle-syllogisms: