DrACuLa

MaRDI QIDQ41360swMATHFDO

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

Cited in

(4)

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

This page was built for software: DrACuLa