|
.. |
2016-08-02 09:24:10 |
11 |
|
action_serializer.rb |
2015-05-28 10:06:43 |
409 |
|
application_serializer.rb |
2016-08-02 09:24:10 |
116 |
|
axiom_serializer.rb |
2016-08-02 09:24:10 |
458 |
|
formality_level_serializer.rb |
2015-05-28 10:06:43 |
443 |
|
generated_axiom_serializer.rb |
2015-04-27 18:29:11 |
78 |
|
license_model_serializer.rb |
2015-05-28 10:06:43 |
447 |
|
logic_mapping_serializer.rb |
2015-06-02 08:32:51 |
776 |
|
logic_serializer.rb |
2015-05-28 10:06:43 |
448 |
|
mapping_serializer.rb |
2016-08-02 09:24:10 |
601 |
|
ontology_member |
2016-08-02 09:24:10 |
3 |
|
ontology_serializer.rb |
2016-08-02 09:24:10 |
1.3 KiB |
|
ontology_type_serializer.rb |
2015-05-28 10:06:43 |
517 |
|
ontology_version_serializer.rb |
2016-08-02 09:24:10 |
465 |
|
proof_attempt_configuration_serializer.rb |
2016-08-02 09:24:10 |
1,001 |
|
proof_attempt_serializer.rb |
2016-08-02 09:24:10 |
1.1 KiB |
|
proof_status_serializer.rb |
2016-04-22 10:50:02 |
355 |
|
prover_output_serializer.rb |
2016-08-02 09:24:10 |
398 |
|
repository_serializer.rb |
2015-05-28 10:06:43 |
732 |
|
sentence_serializer.rb |
2016-08-02 09:24:10 |
461 |
|
tactic_script_serializer.rb |
2015-04-28 06:36:29 |
164 |
|
theorem_serializer.rb |
2016-08-02 09:24:10 |
721 |