definitions.tex

\title{Types of Algebraic Structures in Proof Assistant Systems}
\halftitle{Types of Algebraic Structures in Proof Assistant Systems} % 60 Characters Max. Including Spaces

\author{Akshobhya Katte Madhusudana}
\shortauthor{Akshobhya K M} % Used for page header

\dept{Department of Computing and Software}
\field{Computer Science} % What field your thesis is in (e.g. Software Engineering)

\prevdegreeone{B.Eng. (Computer Science and Engineering),\\ Bangalore University, Bangalore, India}
\prevdegreetwo{B.Eng.} % Just your degree's field

\submitdate{November 2023} % Use the month's full spelling e.g. November
\copyrightyear{2023} % Year you are submitting this, usually your graduation 
%year

\doctype{Thesis} % ``Report'' or ``Thesis'' or whatever you need
\degree{Masters of Science} % The degree you get when you submit this
\degreeabbrv{M.Sc.}
\principaladviser{Dr. Jacques Carette} % Your Supervisor