Dan

5HT · 5HT · commit 20ff6e555129 · 2025-04-18T16:41:23.000+03:00
diff --git a/doc/anders.pdf b/doc/anders.pdf
diff --git a/doc/anders.tex b/doc/anders.tex
@@ -1,10 +1,10 @@
 \documentclass[a4paper,UKenglish,cleveref, autoref, thm-restate]{lipics-v2021}
 \bibliographystyle{plainurl}
-\title{Anders: Modal Homotopy Type System}
+\title{Anders: Modal Homotopy Type System for Theorems Mechanization of Differential Geometry and Homotopy Type Theory}
 \titlerunning{Anders 1.3.0}
-\author{Namdak Tönpa}{Groupoid Infinity}{maxim@synrc.com}{https://orcid.org/0000-0001-7127-8796}{}
-\authorrunning{Namdak Tönpa}
-\Copyright{Namdak Tönpa}
+\author{Maksym Sokhatskyi}{Groupoid Infinity}{maxim@synrc.com}{https://orcid.org/0000-0001-7127-8796}{}
+\authorrunning{Maksym Sokhatskyi}
+\Copyright{Maksym Sokhatskyi}
 
 \begin{CCSXML}
 <ccs2012>
@@ -17,7 +17,7 @@
 \end{CCSXML}
 
 \ccsdesc[300]{Theory of computation~Lambda calculus}
-\keywords{Homotopy Type System, Cubical Type Theory, Modal HoTT}
+\keywords{Homotopy Type Theory, Differential Geometry}
 
 \nolinenumbers
 \hideLIPIcs
diff --git a/doc/anders.vtc b/doc/anders.vtc
@@ -1 +1 @@
-\contitem\title{Anders: Modal Homotopy Type System}\author{Namdak Tönpa}\page{:1--:12}
+\contitem\title{Anders: Modal Homotopy Type System for Theorems Mechanization of Differential Geometry and Homotopy Type Theory}\author{Maksym Sokhatskyi}\page{:1--:12}

Original file line number	Diff line number	Diff line change
`@@ -1 +1 @@`
`1`		`-\contitem\title{Anders: Modal Homotopy Type System}\author{Namdak Tönpa}\page{:1--:12}`
	`1`	`+\contitem\title{Anders: Modal Homotopy Type System for Theorems Mechanization of Differential Geometry and Homotopy Type Theory}\author{Maksym Sokhatskyi}\page{:1--:12}`