Browsing Division of Physical and Mathematical Sciences by Subject "Lemma"
Now showing items 1-1 of 1
-
A Formal Proof of Feit-Higman Theorem in Agda
(2018-02-18)In this thesis we present a formalization of the combinatorial part of the proof of Feit-Higman theorem on generalized polygons. Generalised polygons are abstract geometric structures that generalize ordinary polygons and ...