[isabelle] New: AFP index
The Archive of Formal Proofs now has a 69 entries
http://afp.sourceforge.net/. We have now added a topic-oriented index to
the entries http://afp.sourceforge.net/topics.shtml to allow you to
locate relevant entries quickly. Please give us your feedback:
- Do you find the index helpful?
- Would you structure it differently?
- If you are an author: Do you find your entries categorized correctly?
This archive was generated by a fusion of
Pipermail (Mailman edition) and