#
axioms
Here are 3 public repositories matching this topic...
URF Axioms — formal axiomatization of the Unified Rigidity Framework, defining primitives, admissibility conditions, and base invariants.
reproducible-research formal-methods formal-verification mathlib formal-logic axioms lean4 unified-rigidity-framework rigidity-theory
-
Updated
Apr 12, 2026 - TeX
Universal-Axioms-for-Intelligence
philosophy ontology alignment knowledge-distillation knowledge-representation ai-safety machine-ethics formal-logic axioms digital-ethics univeral-principles
-
Updated
Aug 10, 2025 - TeX
Improve this page
Add a description, image, and links to the axioms topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the axioms topic, visit your repo's landing page and select "manage topics."