mirror of
https://github.com/morluto/rea.git
synced 2026-11-08 07:46:28 +00:00
Remove forwarding wrappers and shadow aliases, migrate callers and verification scripts to their owners, and share one exhaustive semantic resource-bound projection.