SErAPIS Isabelle Search Engine

Welcome to the SErAPIS Isabelle Search Engine channel. Serapis is an experimental search engine for the Isabelle Libraries and the Archive of Formal Proofs.
SErAPIS is developed by the ALEXANDRIA project at the University of Cambridge led by professor Laurence Paulson.
The ALEXANDRIA project is supported by ERC Advanced Grant ALEXANDRIA, 742178 

The SErAPIS search engine can be reached at https://behemoth.cl.cam.ac.uk/search/