Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] Update on the SErAPIS search engine: New videos

view this post on Zulip Email Gateway (Jun 17 2021 at 16:19):

From: "Dr A. Koutsoukou-Argyraki" <>
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 (

To help new users with trying out SErAPIS, we have now prepared two
short introductory videos:
Video 1 is a description of the search controls and Video 2 shows
examples of searches and explains how you can give us feedback on the
relevance of your search results via the SErAPIS interface.

You can now find them on the new YouTube channel:

(For more details, we remind that the user guide is also available here:

We hope that you can find the new videos useful and we would
really appreciate it if you could keep giving us your
feedback on your relevance judgements for the results of your searches
(as explained in Video 2) via the SErAPIS interface.

All data collected is anonymised.

Thank you!

Yiannos Stathopoulos and Angeliki Koutsoukou-Argyraki

Last updated: Jan 25 2022 at 02:35 UTC