Author checking in. There hasn't been much user-facing progress on this lately, but a colleague is currently working on a project to expand the scope and conten

Author checking in. There hasn't been much user-facing progress on this lately, but a colleague is currently working on a project to expand the scope and content, and I've been tinkering on integrating with Coq (as time permits (which is too infrequently)). If you're interested in staying abreast, sign up for the newsletter (http://jdabbs.us9.list-manage2.com/subscribe?u=f81a0c2648f40a1dfa5003a74&id=9080bb12a3 http://jdabbs.us9.list-manage2.com/subscribe?u=f81a0c2648f40...). If you're interested in getting involved, let me know (https://twitter.com/jamesdabbs https://twitter.com/jamesdabbs).