History / Coq Call 2020 01 15

Edit page New page

Revisions

[coq call] Update postponed topics.

ejgallego committed Jan 15, 2020

8b01f14
Updated Coq Call 2020 01 15 (markdown)

mattam82 committed Jan 15, 2020

db778d1
Updated Coq Call 2020 01 15 (markdown)

Zimmi48 committed Jan 15, 2020

d7605fc
Updated Coq Call 2020 01 15 (markdown)

Zimmi48 committed Jan 15, 2020

303d9ee
Updated Coq Call 2020 01 15 (markdown)

maximedenes committed Jan 15, 2020

3ce7bd5
Updated Coq Call 2020 01 15 (markdown)

Zimmi48 committed Jan 15, 2020

48a975b
Updated Coq Call 2020 01 15 (markdown)

palmskog committed Jan 14, 2020

17c4de4
Updated Coq Call 2020 01 14 (markdown)

SkySkimmer committed Jan 14, 2020

f7ecb03