202 Commits

Author SHA1 Message Date
dependabot[bot]
e834230ade build(deps-dev): bump turbo from 2.4.4 to 2.6.1 (#113)
Bumps [turbo](https://github.com/vercel/turborepo) from 2.4.4 to 2.6.1.
- [Release notes](https://github.com/vercel/turborepo/releases)
- [Changelog](https://github.com/vercel/turborepo/blob/main/release.md)
- [Commits](https://github.com/vercel/turborepo/compare/v2.4.4...v2.6.1)

---
updated-dependencies:
- dependency-name: turbo
  dependency-version: 2.6.1
  dependency-type: direct:development
  update-type: version-update:semver-minor
...

Signed-off-by: dependabot[bot] <support@github.com>
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
2025-12-03 18:09:33 +09:00
dependabot[bot]
822c56350a build(deps-dev): bump katex from 0.16.21 to 0.16.25 (#112)
Bumps [katex](https://github.com/KaTeX/KaTeX) from 0.16.21 to 0.16.25.
- [Release notes](https://github.com/KaTeX/KaTeX/releases)
- [Changelog](https://github.com/KaTeX/KaTeX/blob/main/CHANGELOG.md)
- [Commits](https://github.com/KaTeX/KaTeX/compare/v0.16.21...v0.16.25)

---
updated-dependencies:
- dependency-name: katex
  dependency-version: 0.16.25
  dependency-type: direct:development
  update-type: version-update:semver-patch
...

Signed-off-by: dependabot[bot] <support@github.com>
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
2025-12-03 18:09:23 +09:00
dependabot[bot]
cce802b086 build(deps): bump @fontsource/zen-kaku-gothic-new from 5.2.5 to 5.2.7 (#114)
Bumps [@fontsource/zen-kaku-gothic-new](https://github.com/fontsource/font-files/tree/HEAD/fonts/google/zen-kaku-gothic-new) from 5.2.5 to 5.2.7.
- [Changelog](https://github.com/fontsource/font-files/blob/main/CHANGELOG.md)
- [Commits](https://github.com/fontsource/font-files/commits/HEAD/fonts/google/zen-kaku-gothic-new)

---
updated-dependencies:
- dependency-name: "@fontsource/zen-kaku-gothic-new"
  dependency-version: 5.2.7
  dependency-type: direct:production
  update-type: version-update:semver-patch
...

Signed-off-by: dependabot[bot] <support@github.com>
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
2025-12-03 18:08:59 +09:00
dependabot[bot]
1f9ae9de28 build(deps): bump glob in the npm_and_yarn group across 1 directory (#117)
Bumps the npm_and_yarn group with 1 update in the / directory: [glob](https://github.com/isaacs/node-glob).


Updates `glob` from 10.4.5 to 10.5.0
- [Changelog](https://github.com/isaacs/node-glob/blob/main/changelog.md)
- [Commits](https://github.com/isaacs/node-glob/compare/v10.4.5...v10.5.0)

---
updated-dependencies:
- dependency-name: glob
  dependency-version: 10.5.0
  dependency-type: indirect
  dependency-group: npm_and_yarn
...

Signed-off-by: dependabot[bot] <support@github.com>
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
2025-12-03 18:08:16 +09:00
1c0f4b0de1 math: Add MLG 60th 2025-12-03 18:07:20 +09:00
dependabot[bot]
5e03187405 build(deps-dev): bump @biomejs/biome from 1.9.4 to 2.3.3 (#108)
* build(deps-dev): bump @biomejs/biome from 1.9.4 to 2.3.3

Bumps [@biomejs/biome](https://github.com/biomejs/biome/tree/HEAD/packages/@biomejs/biome) from 1.9.4 to 2.3.3.
- [Release notes](https://github.com/biomejs/biome/releases)
- [Changelog](https://github.com/biomejs/biome/blob/main/packages/@biomejs/biome/CHANGELOG.md)
- [Commits](https://github.com/biomejs/biome/commits/@biomejs/biome@2.3.3/packages/@biomejs/biome)

---
updated-dependencies:
- dependency-name: "@biomejs/biome"
  dependency-version: 2.3.3
  dependency-type: direct:development
  update-type: version-update:semver-major
...

Signed-off-by: dependabot[bot] <support@github.com>

* fix

---------

Signed-off-by: dependabot[bot] <support@github.com>
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
Co-authored-by: cannorin <cannorin@users.noreply.github.com>
2025-11-16 03:12:18 +09:00
dependabot[bot]
bd973bb99b build(deps-dev): bump autoprefixer from 10.4.20 to 10.4.21 (#109)
Bumps [autoprefixer](https://github.com/postcss/autoprefixer) from 10.4.20 to 10.4.21.
- [Release notes](https://github.com/postcss/autoprefixer/releases)
- [Changelog](https://github.com/postcss/autoprefixer/blob/main/CHANGELOG.md)
- [Commits](https://github.com/postcss/autoprefixer/compare/10.4.20...10.4.21)

---
updated-dependencies:
- dependency-name: autoprefixer
  dependency-version: 10.4.21
  dependency-type: direct:development
  update-type: version-update:semver-patch
...

Signed-off-by: dependabot[bot] <support@github.com>
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
2025-11-16 02:56:54 +09:00
dependabot[bot]
f45d414f30 build(deps): bump zod from 4.1.11 to 4.1.12 (#110)
Bumps [zod](https://github.com/colinhacks/zod) from 4.1.11 to 4.1.12.
- [Release notes](https://github.com/colinhacks/zod/releases)
- [Commits](https://github.com/colinhacks/zod/compare/v4.1.11...v4.1.12)

---
updated-dependencies:
- dependency-name: zod
  dependency-version: 4.1.12
  dependency-type: direct:production
  update-type: version-update:semver-patch
...

Signed-off-by: dependabot[bot] <support@github.com>
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
2025-11-16 02:56:41 +09:00
dependabot[bot]
d7350fba8f build(deps-dev): bump svelte-check from 4.1.5 to 4.3.3 (#111)
Bumps [svelte-check](https://github.com/sveltejs/language-tools) from 4.1.5 to 4.3.3.
- [Release notes](https://github.com/sveltejs/language-tools/releases)
- [Commits](https://github.com/sveltejs/language-tools/compare/svelte-check-4.1.5...svelte-check@4.3.3)

---
updated-dependencies:
- dependency-name: svelte-check
  dependency-version: 4.3.3
  dependency-type: direct:development
  update-type: version-update:semver-minor
...

Signed-off-by: dependabot[bot] <support@github.com>
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
2025-11-16 02:56:30 +09:00
7f8397d323 math: update paper info 2025-11-16 02:55:37 +09:00
dependabot[bot]
c565729d5c build(deps-dev): bump @sveltejs/vite-plugin-svelte from 6.2.0 to 6.2.1 (#96)
Bumps [@sveltejs/vite-plugin-svelte](https://github.com/sveltejs/vite-plugin-svelte/tree/HEAD/packages/vite-plugin-svelte) from 6.2.0 to 6.2.1.
- [Release notes](https://github.com/sveltejs/vite-plugin-svelte/releases)
- [Changelog](https://github.com/sveltejs/vite-plugin-svelte/blob/main/packages/vite-plugin-svelte/CHANGELOG.md)
- [Commits](https://github.com/sveltejs/vite-plugin-svelte/commits/@sveltejs/vite-plugin-svelte@6.2.1/packages/vite-plugin-svelte)

---
updated-dependencies:
- dependency-name: "@sveltejs/vite-plugin-svelte"
  dependency-version: 6.2.1
  dependency-type: direct:development
  update-type: version-update:semver-patch
...

Signed-off-by: dependabot[bot] <support@github.com>
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
2025-11-02 19:51:40 +09:00
dependabot[bot]
18e3710ce5 build(deps): bump @fontsource/poiret-one from 5.2.6 to 5.2.8 (#95)
Bumps [@fontsource/poiret-one](https://github.com/fontsource/font-files/tree/HEAD/fonts/google/poiret-one) from 5.2.6 to 5.2.8.
- [Changelog](https://github.com/fontsource/font-files/blob/main/CHANGELOG.md)
- [Commits](https://github.com/fontsource/font-files/commits/HEAD/fonts/google/poiret-one)

---
updated-dependencies:
- dependency-name: "@fontsource/poiret-one"
  dependency-version: 5.2.8
  dependency-type: direct:production
  update-type: version-update:semver-patch
...

Signed-off-by: dependabot[bot] <support@github.com>
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
2025-11-02 16:11:42 +09:00
dependabot[bot]
bb7ace26f2 build(deps-dev): bump remark-math from 3.0.1 to 6.0.0 (#93)
Bumps [remark-math](https://github.com/remarkjs/remark-math) from 3.0.1 to 6.0.0.
- [Release notes](https://github.com/remarkjs/remark-math/releases)
- [Commits](https://github.com/remarkjs/remark-math/compare/3.0.1...6.0.0)

---
updated-dependencies:
- dependency-name: remark-math
  dependency-version: 6.0.0
  dependency-type: direct:development
  update-type: version-update:semver-major
...

Signed-off-by: dependabot[bot] <support@github.com>
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
2025-11-02 16:11:32 +09:00
dependabot[bot]
ade2984b51 build(deps-dev): bump vite from 7.1.7 to 7.1.12 (#105)
Bumps [vite](https://github.com/vitejs/vite/tree/HEAD/packages/vite) from 7.1.7 to 7.1.12.
- [Release notes](https://github.com/vitejs/vite/releases)
- [Changelog](https://github.com/vitejs/vite/blob/v7.1.12/packages/vite/CHANGELOG.md)
- [Commits](https://github.com/vitejs/vite/commits/v7.1.12/packages/vite)

---
updated-dependencies:
- dependency-name: vite
  dependency-version: 7.1.12
  dependency-type: direct:development
  update-type: version-update:semver-patch
...

Signed-off-by: dependabot[bot] <support@github.com>
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
2025-11-02 16:10:59 +09:00
dependabot[bot]
2ae0d16faf build(deps-dev): bump @sveltejs/kit from 2.20.7 to 2.48.0 (#106)
Bumps [@sveltejs/kit](https://github.com/sveltejs/kit/tree/HEAD/packages/kit) from 2.20.7 to 2.48.0.
- [Release notes](https://github.com/sveltejs/kit/releases)
- [Changelog](https://github.com/sveltejs/kit/blob/main/packages/kit/CHANGELOG.md)
- [Commits](https://github.com/sveltejs/kit/commits/@sveltejs/kit@2.48.0/packages/kit)

---
updated-dependencies:
- dependency-name: "@sveltejs/kit"
  dependency-version: 2.48.0
  dependency-type: direct:development
  update-type: version-update:semver-minor
...

Signed-off-by: dependabot[bot] <support@github.com>
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
2025-11-02 16:10:48 +09:00
cannorin
9b75cf11c9 kripke: improve constant optimization (#107)
* kripke: improve constant optimization

* kripke: improve constant optimization (2)

---------

Co-authored-by: cannorin <cannorin@users.noreply.github.com>
2025-11-02 16:10:35 +09:00
09f1aaf68b kripke: add stats (3) 2025-09-24 20:38:23 +09:00
585059aa32 kripke: add stats (2) 2025-09-24 20:27:57 +09:00
3edaed9327 kripke: add stats 2025-09-24 20:22:19 +09:00
dependabot[bot]
4895dd2863 build(deps): bump the npm_and_yarn group across 1 directory with 2 updates (#92)
Bumps the npm_and_yarn group with 2 updates in the / directory: [brace-expansion](https://github.com/juliangruber/brace-expansion) and [devalue](https://github.com/sveltejs/devalue).


Updates `brace-expansion` from 2.0.1 to 2.0.2
- [Release notes](https://github.com/juliangruber/brace-expansion/releases)
- [Commits](https://github.com/juliangruber/brace-expansion/compare/v2.0.1...v2.0.2)

Updates `devalue` from 5.1.1 to 5.3.2
- [Release notes](https://github.com/sveltejs/devalue/releases)
- [Changelog](https://github.com/sveltejs/devalue/blob/main/CHANGELOG.md)
- [Commits](https://github.com/sveltejs/devalue/compare/v5.1.1...v5.3.2)

---
updated-dependencies:
- dependency-name: brace-expansion
  dependency-version: 2.0.2
  dependency-type: indirect
  dependency-group: npm_and_yarn
- dependency-name: devalue
  dependency-version: 5.3.2
  dependency-type: indirect
  dependency-group: npm_and_yarn
...

Signed-off-by: dependabot[bot] <support@github.com>
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
2025-09-24 00:06:43 +09:00
ffb66d8719 kripke: prevent answering isomorphic frames again 2025-09-23 20:39:24 +09:00
cannorin
25a904a89a Upgrade Vite to v7
* Update vite to v7

* Update vite to v7 (2)

* Update vite to v7 (3)

* Update vite to v7 (4)

---------

Co-authored-by: cannorin <cannorin@users.noreply.github.com>
2025-09-23 16:46:55 +09:00
dependabot[bot]
e596916ebe build(deps): bump @icons-pack/svelte-simple-icons from 4.0.1 to 6.4.0
Bumps [@icons-pack/svelte-simple-icons](https://github.com/icons-pack/svelte-simple-icons) from 4.0.1 to 6.4.0.
- [Release notes](https://github.com/icons-pack/svelte-simple-icons/releases)
- [Changelog](https://github.com/icons-pack/svelte-simple-icons/blob/main/CHANGELOG.md)
- [Commits](https://github.com/icons-pack/svelte-simple-icons/compare/v4.0.1...v6.4.0)

---
updated-dependencies:
- dependency-name: "@icons-pack/svelte-simple-icons"
  dependency-version: 6.4.0
  dependency-type: direct:production
  update-type: version-update:semver-major
...

Signed-off-by: dependabot[bot] <support@github.com>
2025-09-23 16:23:53 +09:00
065c59486c ci: run tests 2025-09-23 16:18:53 +09:00
ad56ae948e Refactor (2) 2025-09-23 16:18:53 +09:00
c3b1bf39a4 Refactor (1) 2025-09-23 16:18:53 +09:00
6b15542c40 math: update alc2025.pdf (3) 2025-09-12 13:47:46 +09:00
ec9754317b math: update alc2025.pdf (2) 2025-09-12 09:41:52 +09:00
ccbea0b750 math: update alc2025.pdf 2025-09-11 17:59:33 +09:00
e2ef49385f kripke: fix form enter behavior 2025-09-10 11:54:12 +09:00
36f83c1e9d math: add alc2025.pdf 2025-09-10 11:36:57 +09:00
dependabot[bot]
24aa4277ca build(deps-dev): bump @sveltejs/adapter-cloudflare from 7.0.1 to 7.2.3 (#82)
Bumps [@sveltejs/adapter-cloudflare](https://github.com/sveltejs/kit/tree/HEAD/packages/adapter-cloudflare) from 7.0.1 to 7.2.3.
- [Release notes](https://github.com/sveltejs/kit/releases)
- [Changelog](https://github.com/sveltejs/kit/blob/main/packages/adapter-cloudflare/CHANGELOG.md)
- [Commits](https://github.com/sveltejs/kit/commits/@sveltejs/adapter-cloudflare@7.2.3/packages/adapter-cloudflare)

---
updated-dependencies:
- dependency-name: "@sveltejs/adapter-cloudflare"
  dependency-version: 7.2.3
  dependency-type: direct:development
  update-type: version-update:semver-minor
...

Signed-off-by: dependabot[bot] <support@github.com>
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
2025-09-09 06:40:11 +09:00
1fe870bdbc kripke: add math keys 2025-09-09 06:39:02 +09:00
925fd26341 Update /math (2) 2025-08-19 01:11:52 +09:00
95a43ff829 Update /math 2025-08-19 01:06:30 +09:00
dependabot[bot]
c379eda7e7 build(deps): bump @fontsource/poiret-one from 5.1.1 to 5.2.6 (#67)
Some checks failed
CI / build (push) Has been cancelled
---
updated-dependencies:
- dependency-name: "@fontsource/poiret-one"
  dependency-version: 5.2.6
  dependency-type: direct:production
  update-type: version-update:semver-minor
...

Signed-off-by: dependabot[bot] <support@github.com>
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
2025-08-06 15:17:22 +09:00
dependabot[bot]
39a5d9d804 build(deps): bump sveltekit-rate-limiter from 0.6.1 to 0.7.0 (#66)
Bumps [sveltekit-rate-limiter](https://github.com/ciscoheat/sveltekit-rate-limiter) from 0.6.1 to 0.7.0.
- [Release notes](https://github.com/ciscoheat/sveltekit-rate-limiter/releases)
- [Changelog](https://github.com/ciscoheat/sveltekit-rate-limiter/blob/main/CHANGELOG.md)
- [Commits](https://github.com/ciscoheat/sveltekit-rate-limiter/compare/v0.6.1...v0.7.0)

---
updated-dependencies:
- dependency-name: sveltekit-rate-limiter
  dependency-version: 0.7.0
  dependency-type: direct:production
  update-type: version-update:semver-minor
...

Signed-off-by: dependabot[bot] <support@github.com>
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
2025-07-08 22:55:14 +09:00
ae1fdeb30c Update /math/lc2025.pdf (8) 2025-07-08 19:03:38 +09:00
3b8ab7cfd1 Update /math/lc2025.pdf (7) 2025-07-08 18:24:27 +09:00
a5abf652f4 Update /math/lc2025.pdf (6) 2025-07-08 18:20:37 +09:00
8987b6bace Update /math/lc2025.pdf (5) 2025-07-08 16:39:00 +09:00
fc821fcd44 Add contents to /links 2025-07-08 16:14:40 +09:00
e42d3fb60a Update /math/lc2025.pdf (4) 2025-07-07 19:28:47 +09:00
dependabot[bot]
0995ec575f build(deps-dev): bump vite from 5.4.18 to 5.4.19 in /apps/web in the npm_and_yarn group across 1 directory (#56)
* build(deps-dev): bump vite

Bumps the npm_and_yarn group with 1 update in the /apps/web directory: [vite](https://github.com/vitejs/vite/tree/HEAD/packages/vite).


Updates `vite` from 5.4.18 to 5.4.19
- [Release notes](https://github.com/vitejs/vite/releases)
- [Changelog](https://github.com/vitejs/vite/blob/v5.4.19/packages/vite/CHANGELOG.md)
- [Commits](https://github.com/vitejs/vite/commits/v5.4.19/packages/vite)

---
updated-dependencies:
- dependency-name: vite
  dependency-version: 5.4.19
  dependency-type: direct:development
  dependency-group: npm_and_yarn
...

Signed-off-by: dependabot[bot] <support@github.com>

* yarn install

---------

Signed-off-by: dependabot[bot] <support@github.com>
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
Co-authored-by: cannorin <cannorin@users.noreply.github.com>
2025-07-07 17:57:27 +09:00
dependabot[bot]
2918881432 build(deps-dev): bump schema-dts from 1.1.2 to 1.1.5 (#57)
Bumps [schema-dts](https://github.com/google/schema-dts/tree/HEAD/packages/schema-dts) from 1.1.2 to 1.1.5.
- [Release notes](https://github.com/google/schema-dts/releases)
- [Commits](https://github.com/google/schema-dts/commits/v1.1.5/packages/schema-dts)

---
updated-dependencies:
- dependency-name: schema-dts
  dependency-version: 1.1.5
  dependency-type: direct:development
  update-type: version-update:semver-patch
...

Signed-off-by: dependabot[bot] <support@github.com>
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
2025-07-07 17:50:24 +09:00
bc5ac73d2b Update /math/lc2025.pdf (3) 2025-07-07 17:49:31 +09:00
b113617ba8 Update /math/lc2025.pdf (2) 2025-07-05 17:26:53 +09:00
f7ee4c0078 Update /math/lc2025.pdf 2025-07-05 17:23:47 +09:00
219063638b Add /math/lc2025.pdf 2025-07-05 01:12:02 +09:00
deb155d0e2 chore: add CI (2) 2025-05-10 11:20:05 +09:00