DrACuLa

swMATH29646MaRDI QIDQ41360FDOQ41360

Author name not available (Why is that?)

Official website: http://planet.racket-lang.org/package-source/cce/dracula.plt/8/10/planet-docs/guide/index.html

Cited In (3)

• ACL2s: ``the ACL2 sedan
• Teaching semantics with a proof assistant: no more LSD trip proofs
• Proof Pad

This page was built for software: DrACuLa