Searched defs:proving_single_theorem (Results 1 - 1 of 1) sorted by relevance

/ontohub/app/helpers/
H A Dproofs_helper.rb12 def proving_single_theorem?

Completed in 7 milliseconds