Implications with no proof

Stream: Equational

[Floris van Doorn]

For fun I decided to plot the number of implications with no proof over the last days (based on the numbers in the Terence's personal log). Unfortunately I don't have the skills to program an automatically updating graph.

[Edit: turn into a single graph]
Blue: no proof
Yellow: no conjecture
image.png

[Jared green]

can you upload it again? the vertical scale is cropped out and unreadable.

[Floris van Doorn]

should be better now