← Back to feed

Proof Repair and (Co)algebra Equivalences

AI · Research · 2026-11-10 05:01

This arXiv paper explores proof repair techniques and equivalences in (co)algebraic structures, contributing to the frontier of programming language theory.

Source: arxiv.org

Auto-generated summary for reference only. RSS