Counter for number of citations #61
Description
It might be good to add counters to the number of citations, in the mini-maps by the column headers and/or in the table by the its proof cites and cited in proof of columns.
{{ message }}
It might be good to add counters to the number of citations, in the mini-maps by the column headers and/or in the table by the its proof cites and cited in proof of columns.