A logical relations model of a minimal type theory with bounded first-class universe levels mechanized in Lean.
-
Updated
Oct 2, 2026 - TeX
#
universes
Here are 4 public repositories matching this topic...
Roblox — independent third-party profile of a public API surface, by API Evangelist. 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 A
games assets messaging scripting roblox game-development studio luau ugc datastores apis-json universes open-cloud
-
Updated
Oct 9, 2026
Add this topic to your repo
To associate your repository with the universes topic, visit your repo's landing page and select "manage topics."