Skip to content
/ Group7-3D Public

BICMR-ai4math 寒假研讨班第七组：一二三维 Lie 代数分类 (三维)

License

Apache-2.0 license
0 stars 0 forks Branches Tags Activity
Star
Notifications You must be signed in to change notification settings

bicmr-ai4math/Group7-3D

BranchesTags

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

2 Commits

Threedim

Threedim

 
 

.gitignore

.gitignore

 
 

LICENSE

LICENSE

 
 

Main.lean

Main.lean

 
 

README.md

README.md

 
 

Threedim.lean

Threedim.lean

 
 

lakefile.lean

lakefile.lean

 
 

lean-toolchain

lean-toolchain

 
 

Repository files navigation

BICMR-ai4math 寒假研讨班第七组：一二三维 Lie 代数分类 (三维)

小组成员：刘谦、胡杨、路原、秦宇轩。

这是三维情形的代码。

About

BICMR-ai4math 寒假研讨班第七组：一二三维 Lie 代数分类 (三维)

Resources

Readme

License

Apache-2.0 license
Activity
Custom properties

Stars

0 stars

Watchers

1 watching

Forks

0 forks
Report repository

Releases

No releases published

Packages

No packages published

Languages