Comment (by Miguel Zilhão):

i've just added a very basic one with the reference to the relevant paper in https://bitbucket.org/canuda/lean_public/commits/94d8afef93d1a13ebf855c0d51755b0692cd7e3a
is this ok?

--
Ticket URL: https://bitbucket.org/einsteintoolkit/tickets/issues/2244/npscalars-is-lacking-a-readme-file