History / Coq Call 2020 02 05

Revisions

Updated Coq Call 2020 02 05 (markdown)

mattam82 committed Feb 5, 2020

5e5be4a
update

SkySkimmer committed Feb 4, 2020

24b10ab
Updated Coq Call 2020 02 05 (markdown)

ejgallego committed Feb 3, 2020

43300bc
Updated Coq Call 2020 02 05 (markdown)

mattam82 committed Feb 3, 2020

c84e93d
Updated Coq Call 2020 02 05 (markdown)

ejgallego committed Feb 2, 2020

dba62e6
[coq call] update

ejgallego committed Jan 30, 2020

af048ef
[coq call] update

ejgallego committed Jan 30, 2020

fbf6daa
Created Coq Call 2020 02 05 (markdown)

mattam82 committed Jan 29, 2020

dff8b86