A logical relations model of a minimal type theory with bounded first-class universe levels mechanized in Lean.
-
Updated
Aug 17, 2026 - TeX
#
universes
Here are 4 public repositories matching this topic...
Roblox is a user-generated content platform where creators build, publish, and monetize immersive 3D experiences using Roblox Studio and the Luau scripting language. Roblox exposes three distinct developer surfaces: the in-engine Luau scripting API (Roblox Engine API) running inside experiences and Studio plugins, the Roblox Studio plugin API for…
games assets messaging scripting roblox game-development studio luau ugc datastores apis-json universes open-cloud
-
Updated
Aug 26, 2026
Improve this page
Add a description, image, and links to the universes topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the universes topic, visit your repo's landing page and select "manage topics."