Status: working product, v0.1.0 released. Rust workspace, 196 tests green. Implemented through Phase 4 (hardening): the deterministic policy engine, the tamper-evident audit log (optionally sealed-key ...
Earlier this month the Mathematics Institute at Uppsala University hosted a conference called Categorification in Algebra and Topology, clearly a theme close to our collective heart. As yet there are ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results