[skip ci] Auto-generated kwarc.bib for commit 623eabc

KWARC · Apr 18, 2024 · 38c264f · 38c264f
1 parent 623eabc
commit 38c264f
Showing 1 changed file with 9 additions and 0 deletions.
diff --git a/kwarc.bib b/kwarc.bib
@@ -46121,6 +46121,15 @@ @string{kpmessage
 @STRING{stexyear = 2024}
 @STRING{testing = 16}
 
+@online{Betzendahl:proposal:20,
+  author = {Jonas Betzendahl},
+  title = {Undefinedness and Soft Typing in Formal Mathematics},
+  note = {Ph.D. proposal, Computer Science, FAU Erlangen-Nürnberg},
+  url = {https://gl.kwarc.info/supervision/proposal-archive/-/blob/master/2020/phd_proposal_jbetzendahl.pdf},
+  year = {2020},
+  pubs = {jbetzendahl}
+  }
+
 @unpublished{KohSch:rlotm24,
  title = {Reusing Learning Objects via Theory Morphisms},
  author = {Michael Kohlhase and Marcel Sch{\"u}tz},