Stream: math-comp devs

Topic: meeting 2022-01-20


view this post on Zulip Cyril Cohen (Jan 20 2022 at 13:11):

We should have https://math-comp.github.io/htmldoc_1_14_0/libgraph.html

view this post on Zulip Cyril Cohen (Jan 20 2022 at 14:12):

https://github.com/math-comp/analysis/pull/122/files#diff-1015b47858ed905d6dfcdde96eb201e5e083717827a558b598260d56ad1019ceR1278-R1284


Last updated: Aug 11 2022 at 02:03 UTC