mistralai
/

Leanstral-2603

Model card Files Files and versions

patrickvonplaten commited on Mar 16

Commit

08d01e0

·

verified ·

1 Parent(s): 913505a

Update README.md

Files changed (1) hide show

README.md +1 -1

README.md CHANGED Viewed

@@ -255,7 +255,7 @@ _Example Tool Calls_:
 <details>
 <summary>Expand</summary
-```
 [ChatCompletionMessageFunctionToolCall(id='bpa6vHYPz', function=Function(arguments='{"code": "inductive State where\\n  | idle\\n  | busy\\n  | error\\n\\ndef transition : State → State → Bool\\n  | .idle, .busy => true\\n  | .busy, .idle => true\\n  | .busy, .error => true\\n  | _, _ => false\\n\\n#eval transition .idle .busy"}', name='lean_run_code'), type='function')]
 ```
 </details>

 <details>
 <summary>Expand</summary
+```python
 [ChatCompletionMessageFunctionToolCall(id='bpa6vHYPz', function=Function(arguments='{"code": "inductive State where\\n  | idle\\n  | busy\\n  | error\\n\\ndef transition : State → State → Bool\\n  | .idle, .busy => true\\n  | .busy, .idle => true\\n  | .busy, .error => true\\n  | _, _ => false\\n\\n#eval transition .idle .busy"}', name='lean_run_code'), type='function')]
 ```
 </details>