Libraries
»
rover_prover
(0.1.1)
»
Index (A)
»
Axioms
Class: Axioms
Inherits:
Object
Object
Axioms
show all
Defined in:
lib/rover_prover/processor/commands.rb