DrACuLa

swMATH29646MaRDI QIDQ41360FDOQ41360

Author name not available (Why is that?)

Cited In (2)

• ACL2s: ``the ACL2 sedan
• Teaching Semantics with a Proof Assistant: No More LSD Trip Proofs

This page was built for software: DrACuLa