Sign upLogin

ontohub/ontohub-models

View on GitHub
Star
app/models/prover.rb

Summary

Maintainability
A
0 mins
Test Coverage
# frozen_string_literal: true

# The Prover
class Prover < Reasoner
end