browser extensions and mobile apps to raise environmental awareness.
automated theorem prover for predicate logic based on a first-order generalization of conflict-driven clause learning.
Read all the official GSoC documentation carefully. Read the FAQ. Familiarize yourself with the programme's timeline and do not miss deadlines.
Visit the gitlab repositories of our projects and find a project that you like. To show your skills, contribute solutions to GSoC Puzzles listed in the issue tracker of the project you chose. Some projects may also contain a "GoogleSummerOfCode.md" file with additional project specific GSoC instructions.
You should choose one of the ideas suggested here and your proposal should expand that idea, giving details of how you plan to implement that idea. Use the provided proposal template.