Ghostbuster

swMATH19981MaRDI QIDQ31804FDOQ31804

Author name not available (Why is that?)

Described by source

• Ghostbuster: a tool for simplifying and converting GADTs

Cited In (1)

• Ornaments for Proof Reuse in Coq

This page was built for software: Ghostbuster