Suggest a link

Suggesting a link for: Mechanized Functor Tower for Cross-Domain State Preservation Proposed