Contents

--- !ruby/object:Gem::Specification
name: syllogism
version: !ruby/object:Gem::Version
  version: 0.2.2
platform: ruby
authors:
- Jayson Virissimo
autorequire:
bindir: exe
cert_chain: []
date: 2022-11-22 00:00:00.000000000 Z
dependencies: []
description: Proof checker for arguments in Aristotle's term logic
email:
- [e-mail]
executables: []
extensions: []
extra_rdoc_files: []
files:
- ".github/workflows/test.yml"
- ".gitignore"
- ".rspec"
- ".tool-versions"
- Gemfile
- Gemfile.lock
- LICENSE.txt
- README.md
- Rakefile
- bin/console
- bin/setup
- lib/syllogism.rb
- lib/syllogism/all.rb
- lib/syllogism/atom.rb
- lib/syllogism/general_term.rb
- lib/syllogism/negation.rb
- lib/syllogism/no.rb
- lib/syllogism/quantity.rb
- lib/syllogism/singular_term.rb
- lib/syllogism/some.rb
- lib/syllogism/statement.rb
- lib/syllogism/term.rb
- lib/syllogism/term_distributor.rb
- lib/syllogism/unknown.rb
- lib/syllogism/verb.rb
- lib/syllogism/version.rb
- lib/syllogism/wff_checker.rb
- syllogism.gemspec
homepage: https://github.com/jaysonvirissimo/syllogism
licenses:
- MIT
metadata:
  allowed_push_host: https://rubygems.org/
  homepage_uri: https://github.com/jaysonvirissimo/syllogism
  source_code_uri: https://github.com/jaysonvirissimo/syllogism
  changelog_uri: https://github.com/jaysonvirissimo/syllogism
post_install_message:
rdoc_options: []
require_paths:
- lib
required_ruby_version: !ruby/object:Gem::Requirement
  requirements:
  - - ">="
    - !ruby/object:Gem::Version
      version: 2.3.0
required_rubygems_version: !ruby/object:Gem::Requirement
  requirements:
  - - ">="
    - !ruby/object:Gem::Version
      version: '0'
requirements: []
rubygems_version: 3.3.5
signing_key:
specification_version: 4
summary: Proof checker for arguments in Aristotle's term logic
test_files: []

Package Spec version

syllogism-0.2.2