Link to the academical papers in the README
Other verification tool chooses to put links to academical papers that present it in its README. Perhaps you can do the same thing (at first I searched in google and google scholar Michocoq instead of Mi-cho-coq).
Best