casey/messing_with_eq.rb
2023-05-09 21:20:50 -04:00

12 lines
196 B
Ruby

# frozen_string_literal: true
require 'cas'
require 'rule'
require 'simp_rules'
require 'rw_rules'
def add_right_cancel
rule([%i[a + c], :==, %i[b + c]] => %i[a == b]).forall(:a, :b, :c)
end