Last released May 9, 2026
Pre-commit contradiction detection for graph databases using sheaf cohomology
Supported by