Cross Reference: /ontohub/db/seeds/030-proof_statuses.rb

Cross Reference: 030-proof_statuses.rb

xref: /ontohub/db/seeds/030-proof_statuses.rb

Home
History
Annotate
Line#
Navigate
Download
only in ./

# Create ProofStatuses from SZS ontology.

RakeHelper::Generate.proof _statuses

Indexes created Tue Jul 24 14:28:13 CEST 2018