History for Coq Call 2020 12 16 · coq/coq Wiki

Updated Coq Call 2020 12 16 (markdown)

erikmd committed Dec 16, 2020

84ed303

Add a few notes

erikmd committed Dec 16, 2020

9706dc3

Updated Coq Call 2020 12 16 (markdown)

erikmd committed Dec 16, 2020

7fcb3eb

Updated Coq Call 2020 12 16 (markdown)

herbelin committed Dec 16, 2020

8850d74

Updated Coq Call 2020 12 16 (markdown)

erikmd committed Dec 13, 2020

4f3713e

Updated Coq Call 2020 12 16 (markdown)

erikmd committed Dec 13, 2020

f059f9b

Updated Coq Call 2020 12 16 (markdown)

erikmd committed Dec 13, 2020

9a0f143

Updated Coq Call 2020 12 16 (markdown)

Zimmi48 committed Dec 11, 2020

b9519ef

Updated Coq Call 2020 12 16 (markdown)

gares committed Dec 11, 2020

b647b2b

Updated Coq Call 2020 12 16 (markdown)

gares committed Dec 10, 2020

54ba5a0

Updated Coq Call 2020 12 16 (markdown)

gares committed Dec 10, 2020

b5c47db

Updated Coq Call 2020 12 16 (markdown)

mattam82 committed Dec 9, 2020

2b2f69a

Updated Coq Call 2020 12 18 (markdown)

mattam82 committed Dec 9, 2020

fdcdfd8

Provide feedback