Roosterize

MaRDI QIDQ1334058swMATHFDO

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