Friends with benefits: Implementing corecursion in foundational proof assistants
Project: Matryoshka
Updated at: 27-04-2024
Show more
information
Project acronym
Matryoshka