amitayusht
/

ProofWala-Coq

Text2Text Generation

theorem-proving

Model card Files Files and versions Community

amitayusht commited on Feb 9

Commit

7c15213

·

verified ·

1 Parent(s): 2d4f9ea

Update README.md

Files changed (1) hide show

README.md +5 -0

README.md CHANGED Viewed

@@ -2,4 +2,9 @@
 license: mit
 base_model:
 - Salesforce/codet5-base
 ---

 license: mit
 base_model:
 - Salesforce/codet5-base
+pipeline_tag: text2text-generation
+tags:
+- code
+- mathematics
+- theorem-proving
 ---