DRISL — Deterministic Representation for Interoperable Structures & Links
date | 2025-05-05 |
---|---|
editors | Robin Berjon <robin@berjon.com> Juan Caballero <bumblefudge@learningproof.xyz> |
issues | list, new |
abstract | tk |
Introduction
tk
date | 2025-05-05 |
---|---|
editors | Robin Berjon <robin@berjon.com> Juan Caballero <bumblefudge@learningproof.xyz> |
issues | list, new |
abstract | tk |
tk