https://github.com/inaciovasquez2020/vasquez-docs
Documentation portal for research artifacts, proofs, and formalization notes by Inacio Vasquez.
https://github.com/inaciovasquez2020/vasquez-docs
complexity-theory computability documentation formal-verification geometry logic proofs research
Last synced: 5 days ago
JSON representation
Documentation portal for research artifacts, proofs, and formalization notes by Inacio Vasquez.
- Host: GitHub
- URL: https://github.com/inaciovasquez2020/vasquez-docs
- Owner: inaciovasquez2020
- Created: 2026-02-20T14:24:51.000Z (about 2 months ago)
- Default Branch: main
- Last Pushed: 2026-03-22T03:49:10.000Z (18 days ago)
- Last Synced: 2026-04-04T01:37:09.469Z (5 days ago)
- Topics: complexity-theory, computability, documentation, formal-verification, geometry, logic, proofs, research
- Language: Python
- Homepage: https://inaciovasquez2020.github.io/vasquez-docs
- Size: 12.7 KB
- Stars: 1
- Watchers: 0
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
Awesome Lists containing this project
README
# Vasquez Research Documentation
This repository collects canonical documentation, proofs, and artifacts
underlying the Unified Rigidity Framework (URF) and related research.
## Registry Index
The URF registry comprises:
- **URF Core** — foundational axioms and admissibility rules
https://github.com/inaciovasquez2020/urf-core
- **Chronos–EntropyDepth** — canonical entropy-depth invariants
https://github.com/inaciovasquez2020/Chronos-EntropyDepth
- **Chronos–URF RR** — reference implementation of Chronos logic
https://github.com/inaciovasquez2020/chronos-urf-rr
- **URF Prefab System** — canonical prefab definitions
https://github.com/inaciovasquez2020/urf-prefab-system
- **Cyclone Terminal Obstruction** — locality obstruction definitions
https://github.com/inaciovasquez2020/cyclone-terminal-obstruction
## Purpose
Vasquez Docs organizes documentation for these registry members, making
proofs, formalization notes, and conceptual overviews discoverable.
---
## Topics
- documentation
- research
- formal verification
- computational complexity