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 19, 2026 - Lean
Add this topic to your repo
To associate your repository with the extendability topic, visit your repo's landing page and select "manage topics."