X-Git-Url: https://git.shemshak.org/gitweb.cgi/~bandali/bndl.org/blobdiff_plain/573bd43bf84ddbd09ffc252df00363a2a6640fca..77fd7e544b18af1616b5246d30117413640a4f0f:/mmath.m4
diff --git a/mmath.m4 b/mmath.m4
index 83e0dde..e2fb23b 100644
--- a/mmath.m4
+++ b/mmath.m4
@@ -2,7 +2,6 @@ dnl -*- html -*-
define(__title, `Master of Mathematics')dnl
define(__slug, `mmath')dnl
include(header.html)dnl
-define(__latex, `LaTeX')dnl
Master of Mathematics
@@ -12,7 +11,7 @@ the degree of Master of Mathematics in Computer Science in Spring
2020. My research at the Waterloo
Formal Methods group focused on formal logic, model checking, and
verification; under supervision of
-Dr. Nancy Day.