Stream: SErAPIS

Topic: SErAPIS update, June 2021 (MAJOR update)

view this post on Zulip Yiannos (Jun 23 2021 at 10:18):

Dear all,

We would like to thank all of you who have so far given us feedback on your search results using the SErAPIS search engine for the Isabelle Libraries and AFP (

Today, we are excited to announce a major update to the SErAPIS Isabelle Search engine.
Changes and updates include:

and more.

We would like to remind you that there two short SErAPIS introductory videos on our YouTube channel:

and a detailed user guide available here:

Finally, we kindly ask that you continue to give us feedback on (at least) the first 10 results of your searches via the SErAPIS interface (as explained in Video 2 and Section 4 of the user guide).

All data collected is anonymised.

We are very grateful to all of you for using SErAPIS and for your feedback.

Thank you!

Yiannos Stathopoulos and Angeliki Koutsoukou-Argyraki

Last updated: May 28 2024 at 08:21 UTC