Stream: SErAPIS

Topic: New Demo Videos

view this post on Zulip Angeliki Koutsoukou-Argyraki (Jun 17 2021 at 16:29):

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 @Yiannos & Angeliki

Last updated: May 28 2024 at 08:21 UTC