Searched refs:ProofAttemptConfiguration (Results 1 - 3 of 3) sorted by relevance

/ontohub/app/models/
H A Dproof_attempt_configuration.rb1 class ProofAttemptConfiguration < ActiveRecord::Base class
/ontohub/spec/models/
H A Dproof_attempt_configuration_spec.rb3 describe ProofAttemptConfiguration do
/ontohub/app/fake_records/
H A Dproof.rb133 pac = ProofAttemptConfiguration.new

Completed in 9 milliseconds