math: submitted 2503.10176

2025-05-10 11:12:11 +09:00
parent 711e6ad207
commit 46f6ca2465
1 changed files with 1 additions and 1 deletions
--- a/apps/web/src/routes/(main)/math/+page.svelte
+++ b/apps/web/src/routes/(main)/math/+page.svelte
@@ -42,7 +42,7 @@ const isAccepted = (p: Paper) =>

 const papers: Paper[] = [
  {
-    type: "preprint",
+    type: "submitted",
    title:
      "Uniform Lyndon interpolation for the pure logic of necessitation with a modal reduction principle",
    authors: ["Yuta Sato"],