Pinned Repositories
sympy
symbolic computation and mathematical reasoning in python
axiom
symbolic computation and mathematical reasoning in python
sagemath
a mathematical axiom proving system written in python, common-lisp, C++ and php based on sympy, maxima and mathematica.
astor
Python AST read/write
coq
coq project translated into python
engine
Isabelle
Isabelle project translated int Python
lean
lean4 project translated in python
Pai-Megatron-Patch
The official repo of Pai-Megatron-Patch for LLM & VLM large scale training developed by Alibaba Cloud.
shell
a shell project for install linux software
cosmosZhou's Repositories
cosmosZhou/Pai-Megatron-Patch
The official repo of Pai-Megatron-Patch for LLM & VLM large scale training developed by Alibaba Cloud.
cosmosZhou/axiom
symbolic computation and mathematical reasoning in python
cosmosZhou/shell
a shell project for install linux software
cosmosZhou/sympy
symbolic computation and mathematical reasoning in python
cosmosZhou/std
a standard library of common algorithms
cosmosZhou/lean
lean4 project translated in python
cosmosZhou/Isabelle
Isabelle project translated int Python
cosmosZhou/coq
coq project translated into python
cosmosZhou/astor
Python AST read/write
cosmosZhou/engine
cosmosZhou/sagemath
a mathematical axiom proving system written in python, common-lisp, C++ and php based on sympy, maxima and mathematica.