GitHub - balajirrao/feit-higman-agda: Formalising generalised polygons with an intention to prove Feit-Higman theorem

Branches Tags

Name		Name	Last commit message	Last commit date
Latest commit History 92 Commits
.gitignore		.gitignore
BijectionPractice.agda		BijectionPractice.agda
GenPolygon.agda		GenPolygon.agda
IGExamples.agda		IGExamples.agda
IncidenceGeometry.agda		IncidenceGeometry.agda
IncidencePlane.agda		IncidencePlane.agda
Lemma-2-1.agda		Lemma-2-1.agda
Lemma-2-2.agda		Lemma-2-2.agda
Lemma-2-4.agda		Lemma-2-4.agda
Misc.agda		Misc.agda
README		README
Test.agda		Test.agda

Repository files navigation

Formalisation of Generalised Polygons with an intention to prove Feit-Higman theorem.

This is no longer being developed. Find the version 2.0 at :
https://github.com/balajirrao/agda-feit-higman-theorem