{"pages":[{"page_name":"Coq-Implementors-Workshop-2018","title":"Coq Implementors Workshop 2018","summary":null,"action":"edited","sha":"a1bb4f7ee2c9e390f6c64ff4d746799cab9a27bc","html_url":"https://github.com/coq/coq/wiki/Coq-Implementors-Workshop-2018"}]}
{"actor":{"display_login":"gares"}}