History / Coq Call 2020 11 13

Revisions

Updated Coq Call 2020 11 13 (markdown)

mattam82 committed Nov 13, 2020

525f33e
Updated Coq Call 2020 11 13 (markdown)

mattam82 committed Nov 13, 2020

968fee4
Updated Coq Call 2020 11 13 (markdown)

mattam82 committed Nov 13, 2020

a727d42
Updated Coq Call 2020 11 13 (markdown)

herbelin committed Nov 13, 2020

9c630d5
Updated Coq Call 2020 11 13 (markdown)

herbelin committed Nov 13, 2020

d9b2ba2
Updated Coq Call 2020 11 13 (markdown)

herbelin committed Nov 13, 2020

aae5905
Updated Coq Call 2020 11 13 (markdown)

herbelin committed Nov 12, 2020

64b9040
Updated Coq Call 2020 11 11 (markdown)

erikmd committed Nov 11, 2020

9984a45