ontohub/ontohub-models

# frozen_string_literal: true

# The OpenConjecture is an unproved conjecture
class OpenConjecture < Conjecture
end