ontohub/ontohub-models

# frozen_string_literal: true

# The CounterTheorem is a disproved conjecture
class CounterTheorem < Conjecture
end