Name Date Size

.. 2016-08-10 00:30:31 14

ability_spec.rb 2016-01-17 16:40:09 8.2 KiB

access_token_spec.rb 2015-06-02 09:20:46 568

action_spec.rb 2015-04-19 15:12:26 1.8 KiB

api_key_spec.rb 2015-04-01 13:31:00 993

autocomplete_spec.rb 2014-12-15 11:30:54 2.2 KiB

axiom_selection_spec.rb 2015-08-10 00:44:24 697

category.rb 2015-03-25 08:53:42 1.3 KiB

code_reference_spec.rb 2015-05-05 00:10:18 107

commit_spec.rb 2016-08-04 15:35:06 3 KiB

distributed_ontology_spec.rb 2015-06-07 15:03:34 132

formality_level_spec.rb 2014-12-15 11:30:54 749

graph_data_fetcher_spec.rb 2015-01-05 10:22:22 3.2 KiB

hets_instance_spec.rb 2016-01-27 15:44:05 16 KiB

key_spec.rb 2015-04-27 15:48:28 1.2 KiB

license_model_spec.rb 2014-12-15 11:30:54 1,017

logic_spec.rb 2014-12-15 11:30:54 733

manual_axiom_selection_spec.rb 2015-08-10 00:42:29 340

mapping_spec.rb 2015-05-05 00:10:18 1.5 KiB

ontology 2014-12-15 11:30:54 3

ontology_spec.rb 2016-08-10 00:30:31 26.3 KiB

ontology_type_spec.rb 2014-12-15 11:29:00 546

ontology_version 2016-07-01 00:12:38 5

ontology_version_spec.rb 2016-07-19 09:26:38 1.4 KiB

oops_request_spec.rb 2014-12-15 11:29:00 170

oops_spec.rb 2014-12-15 11:30:55 1.8 KiB

permission_spec.rb 2014-12-15 11:30:54 3.6 KiB

project.rb 2014-05-27 11:16:01 510

proof_attempt_configuration_spec.rb 2015-11-02 08:45:22 1.3 KiB

proof_attempt_spec.rb 2015-09-26 15:06:54 1.3 KiB

prover_output_spec.rb 2015-04-27 18:29:13 130

prover_spec.rb 2015-05-04 11:52:55 172

repository 2016-08-08 15:24:50 12

repository_directory_spec.rb 2015-01-29 00:55:34 3.5 KiB

repository_spec.rb 2015-05-05 00:10:18 3.9 KiB

sentence_spec.rb 2015-08-03 11:44:36 2.5 KiB

sine_axiom_selection_spec.rb 2015-11-28 00:34:01 8.7 KiB

sine_symbol_axiom_trigger_spec.rb 2015-08-10 00:42:28 191

sine_symbol_commonness_spec.rb 2015-08-10 00:42:28 143

symbol_group_spec.rb 2015-01-05 10:22:27 268

symbol_mapping_spec.rb 2015-05-05 00:10:18 597

symbol_spec.rb 2015-05-05 00:10:18 3.7 KiB

tactic_script_extra_option_spec.rb 2015-04-28 06:36:28 437

tactic_script_spec.rb 2015-11-02 08:45:22 574

task_spec.rb 2014-12-15 11:30:54 700

team_spec.rb 2014-12-15 11:30:54 743

team_user_spec.rb 2014-12-15 11:30:56 1.2 KiB

theorem_spec.rb 2016-01-17 16:45:11 9.1 KiB

tool_spec.rb 2014-12-15 11:25:11 521

translated_sentence_spec.rb 2015-05-05 00:10:18 586

url_map_spec.rb 2015-05-05 00:10:18 1.3 KiB

user_spec.rb 2016-07-19 09:26:38 3.4 KiB