History / Coq Call 2020 07 15

Revisions

Updated Coq Call 2020 07 15 (markdown)

jfehrle committed Jul 25, 2020

744521a
Updated Coq Call 2020 07 15 (markdown)

Zimmi48 committed Jul 15, 2020

f810dc5
Updated Coq Call 2020 07 15 (markdown)

ejgallego committed Jul 9, 2020

95b94a1
Updated Coq Call 2020 07 15 (markdown)

ejgallego committed Jul 9, 2020

4bb4410
Updated Coq Call 2020 07 15 (markdown)

ejgallego committed Jul 9, 2020

ebb9e92
Created Coq Call 2020 07 15 (markdown)

ejgallego committed Jul 8, 2020

0aee67a