Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] New AFP category "Tools"

Email Gateway (Aug 22 2022 at 10:41):

From: Tobias Nipkow <nipkow@in.tum.de>
We have added another AFP topic/category "Tools" that contains two entries so
far (go to the bottom of http://afp.sourceforge.net/topics.shtml). The topic is
meant to gather together entries that are tools and should not be hidden under
some specific computer science or math topic.

Tobias
smime.p7s

Last updated: Apr 26 2024 at 01:06 UTC