Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] New: AFP index

Email Gateway (Aug 18 2022 at 15:03):

From: Tobias Nipkow <nipkow@in.tum.de>
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?

Thanks,
Tobias

Email Gateway (Aug 18 2022 at 15:03):

From: Tobias Nipkow <nipkow@in.tum.de>
Serguei Mokhov wrote:

On Mon, Apr 12, 2010 at 2:15 AM, Tobias Nipkow <nipkow@in.tum.de> wrote:

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?

That is a definitively a good idea. Quite helpful indeed!

• Would you structure it differently?

Probably not, but rather, as I suggested long time ago,
I would have liked to see the AFP also indexed by DBLP,
especially now that AFP has an ISSN, but at the time
it seemed it was not in favor to do so; would that be
reconsidered?

Yes. There is a good chance that this will happen, but for technical
reasons only next year.

Tobias

Thanks,
Tobias

Last updated: Nov 21 2024 at 12:39 UTC