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

/ontohub/app/helpers/
H A Dproofs_helper.rb24 def checked_axiom_selection_method method in class:ProofsHelper

Completed in 12 milliseconds