Roosterize

swMATH44964MaRDI QIDQ1334058FDOQ1334058

Author name not available (Why is that?)

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

Described by source

• Deep Generation of Coq Lemma Names Using Elaborated Terms

This page was built for software: Roosterize