(library
 (name leibniz)
 (public_name leibniz))