पूर्वावलोकन मोड। Playground के चारों ओर देखें। अनुरोध चलाने के लिए साइन इन करें.

DeepSeek Prover V2

DeepSeekText

ओपन-सोर्स एलएलएम लीन 4 में औपचारिक प्रमेय साबित करने में विशेषज्ञता प्राप्त है, जो एक पुनरावर्ती प्रमेय-साबित पाइपलाइन पर बनाया गया है।