ACL2 apparently was/will be dropped? What about ANNOTATE? Its draft expired over a year ago. I doubt I'll try implementing it anytime soon, but it (or something like it) would be nice at some point.
Attachment:
signature.asc
Description: This is a digitally signed message part