# -*- encoding: utf-8 -*-
# stub: syllogism 0.2.2 ruby lib

Gem::Specification.new do |s|
  s.name = "syllogism".freeze
  s.version = "0.2.2".freeze

  s.required_rubygems_version = Gem::Requirement.new(">= 0".freeze) if s.respond_to? :required_rubygems_version=
  s.metadata = { "allowed_push_host" => "https://rubygems.org/", "changelog_uri" => "https://github.com/jaysonvirissimo/syllogism", "homepage_uri" => "https://github.com/jaysonvirissimo/syllogism", "source_code_uri" => "https://github.com/jaysonvirissimo/syllogism" } if s.respond_to? :metadata=
  s.require_paths = ["lib".freeze]
  s.authors = ["Jayson Virissimo".freeze]
  s.bindir = "exe".freeze
  s.date = "2022-11-22"
  s.description = "Proof checker for arguments in Aristotle's term logic".freeze
  s.email = ["jayson.virissimo@asu.edu".freeze]
  s.files = [".github/workflows/test.yml".freeze, ".gitignore".freeze, ".rspec".freeze, ".tool-versions".freeze, "Gemfile".freeze, "Gemfile.lock".freeze, "LICENSE.txt".freeze, "README.md".freeze, "Rakefile".freeze, "bin/console".freeze, "bin/setup".freeze, "lib/syllogism.rb".freeze, "lib/syllogism/all.rb".freeze, "lib/syllogism/atom.rb".freeze, "lib/syllogism/general_term.rb".freeze, "lib/syllogism/negation.rb".freeze, "lib/syllogism/no.rb".freeze, "lib/syllogism/quantity.rb".freeze, "lib/syllogism/singular_term.rb".freeze, "lib/syllogism/some.rb".freeze, "lib/syllogism/statement.rb".freeze, "lib/syllogism/term.rb".freeze, "lib/syllogism/term_distributor.rb".freeze, "lib/syllogism/unknown.rb".freeze, "lib/syllogism/verb.rb".freeze, "lib/syllogism/version.rb".freeze, "lib/syllogism/wff_checker.rb".freeze, "syllogism.gemspec".freeze]
  s.homepage = "https://github.com/jaysonvirissimo/syllogism".freeze
  s.licenses = ["MIT".freeze]
  s.required_ruby_version = Gem::Requirement.new(">= 2.3.0".freeze)
  s.rubygems_version = "3.5.10".freeze
  s.summary = "Proof checker for arguments in Aristotle's term logic".freeze
end