SceneViewHandles is a lightweight extension which allows you to view and edit variables by only adding one attribute.
-
Updated
Apr 15, 2019 - C#
#
extendability
Here are 3 public repositories matching this topic...
🔎 Benchmarking Framework for Extendability of Causal Graphs 🔍
-
Updated
Mar 20, 2023 - Julia
Machine-checked Lean 4 proofs for "The Non-Locality of Extendability." Forward-case impossibility result for bounded information systems: the divergence kernel, horizon non-convergence, structural admissibility lemmas, and witnesses distinguishing extendability from POMDP observability and viability.
theorem-proving formal-verification ai-safety mathlib extendability lean4 impossibility-theorem admissibility-dynamics forward-locality bounded-information-systems
-
Updated
May 8, 2026 - Lean
Improve this page
Add a description, image, and links to the extendability topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the extendability topic, visit your repo's landing page and select "manage topics."