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 (https://behemoth.cl.cam.ac.uk/search/).
Today, we are excited to announce a major update to the SErAPIS Isabelle Search engine.
Changes and updates include:
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.
Yiannos Stathopoulos and Angeliki Koutsoukou-Argyraki
Last updated: Dec 07 2023 at 16:21 UTC