Reverse Dependencies of formulae

The following projects have a declared dependency on formulae: