History / Coq Call 2020 03 11

Revisions

Updated Coq Call 2020 03 11 (markdown)

mattam82 committed Mar 11, 2020

78bc898
Updated Coq Call 2020 03 11 (markdown)

mattam82 committed Mar 11, 2020

b5f7ac6
Updated Coq Call 2020 03 11 (markdown)

maximedenes committed Mar 11, 2020

91434a8
PR on t.(fst)

herbelin committed Mar 10, 2020

f2d3f02
Updated Coq Call 2020 03 11 (markdown)

mattam82 committed Mar 4, 2020

a5a55a6
Created Coq Call 2020 03 11 (markdown)

mattam82 committed Mar 4, 2020

64d5062