nameiwillforget
-
Joined on
2025年06月16日
Updated 2026年06月26日 21:00:36 +02:00
Updated 2026年06月26日 15:19:40 +02:00
A collection of commands let Avy act from a distance.
Updated 2025年11月04日 20:20:36 +01:00
Updated 2025年09月04日 01:00:02 +02:00
Updated 2025年08月30日 02:31:23 +02:00
Updated 2025年08月27日 13:21:14 +02:00
A map between the IPA and scale degrees of the n-odd limit scale is established.
Updated 2025年08月27日 13:19:23 +02:00
My exposition of the formalization of Hegel's theory in modal homotopy type theory
Updated 2025年08月27日 13:17:13 +02:00
Updated 2025年08月27日 13:08:46 +02:00