Roosterize

swMATH44964MaRDI QIDQ1334058FDOQ1334058

Author name not available (Why is that?)

Official website: https://arxiv.org/abs/2004.07761

Source code repository: https://github.com/EngineeringSoftware/roosterize

Described by source

• Deep Generation of Coq Lemma Names Using Elaborated Terms

Cited In (3)

• SerAPI
• JSNice
• PCM library

This page was built for software: Roosterize