mirror of
https://github.com/deepseek-ai/DeepSeek-Prover-V1.5.git
synced 2025-02-22 05:39:13 -05:00
5 lines
109 B
Plaintext
5 lines
109 B
Plaintext
[submodule "mathlib4"]
|
|
path = mathlib4
|
|
url = https://github.com/xinhjBrant/mathlib4.git
|
|
branch = deepseek
|