• Ideas for Google Summer of Code 2016 and Coq
• Mentors
• Ideas
• Title of the Idea
• JsCoq library and option management
• Port vm_compute to jsCoq
• Markdown support in Proof General
• Improvement the Search Command and API
• Atom-based CoqIDE
• Stable Binary Format
• Update Coq Parser API
• Improve CoqDoc support for JsCoq
• Extraction to Javascript
• Porting LtacProf to Coq 8.5