Block or report user

Report or block benedictleejh

Hide content and notifications from this user.

Contact Support about this user’s behavior.

Report abuse

Popular repositories

  1. foundation_rails_helper

    Forked from sgruhier/foundation_rails_helper

    Rails Helper for Zurb Fondation framework


  2. rails_layout

    Forked from RailsApps/rails_layout

    Generates Rails application layout files for various front-end frameworks.


  3. fragments

    Collaborative storytelling tool

    Ruby 1

  4. simple-random

    Forked from ealdent/simple-random

    Simple random number generator gem for Ruby (based on C# code by John D. Cook).


  5. scala-math-vector

    Scala Vector Math Library designed for intuitive use

  6. scala-semver

    Scala SemVer library

54 contributions in the last year

Jul Aug Sep Oct Nov Dec Jan Feb Mar Apr May Jun Jul Mon Wed Fri

Contribution activity

July 2018

Created an issue in sl-comp/SL-COMP18 that received 2 comments

Antecedent not translated for quantified entailments

For all benchmarks in shid_entl and shidlia_entl, the antecedent is not translated, and is blank in the output.


Seeing something unexpected? Take a look at the GitHub profile guide.