Man pages matching name sexpp in section 1:

sexpp.1.en

debian 13 / sexpp