History / Coq Call 2020 05 20

Edit page New page

Revisions

[wg2020-05-20] add missing notes about UI discussion

ejgallego committed Jan 17, 2022

f1d5e4e
Updated Coq Call 2020 05 20 (markdown)

mattam82 committed May 20, 2020

c1936d4
Updated Coq Call 2020 05 20 (markdown)

ejgallego committed May 20, 2020

36d3f98
Updated Coq Call 2020 05 20 (markdown)

ejgallego committed May 19, 2020

e2f9fcf
Created Coq Call 2020 05 20 (markdown)

Zimmi48 committed May 19, 2020

57ef80e