GitHub - balajirrao/agda-feit-higman-theorem: Formalization of Feit Higman Theorem

Name		Name	Last commit message	Last commit date
Latest commit History 57 Commits
.gitignore		.gitignore
FinBijections.agda		FinBijections.agda
GenPolygon.agda		GenPolygon.agda
IncidencePlane.agda		IncidencePlane.agda
Lemma2-1.agda		Lemma2-1.agda
Lemma2-2.lagda		Lemma2-2.lagda
Lemma2-3.agda		Lemma2-3.agda
Lemma2-4-Bij-A.agda		Lemma2-4-Bij-A.agda
Lemma2-4-Bij-B.agda		Lemma2-4-Bij-B.agda
Lemma2-4-Final-A.agda		Lemma2-4-Final-A.agda
Lemma2-4-Final.agda		Lemma2-4-Final.agda
Lemma2-4-Inv.agda		Lemma2-4-Inv.agda
Lemma2-4-core.agda		Lemma2-4-core.agda
Lemma2-4.agda		Lemma2-4.agda
Misc.agda		Misc.agda
README		README
TODO		TODO

Repository files navigation

Formalisation of Generalised Polygons with an intention to prove Feit-Higman theorem (v2.0)

Formalization of Feit Higman Theorem - v 2.0

No releases published