class Axiom
Attributes
formula[R]
Public Class Methods
new(formula)
click to toggle source
# File lib/rover_prover/processor/commands.rb, line 9 def initialize(formula) @formula = formula end