Repository navigation

cgt

Public

About

Attempt of formalization of some elementary facts about groups defined by generators and relations

0 stars

1 watching

Report repository

Name		Name	Last commit message	Last commit date
Coxeter.v		Coxeter.v
Group.v		Group.v
README.md		README.md
Ring.v		Ring.v
Ssromega.v		Ssromega.v
ident.v		ident.v
ident2.v		ident2.v
ident3.v		ident3.v
ident4.v		ident4.v

Repository files navigation

cgt

Attempt of formalization of some elementary facts about groups defined by generators and relations

About

Attempt of formalization of some elementary facts about groups defined by generators and relations

0 stars

1 watching

Report repository

Releases

Packages

Contributors

Languages