GSoC 2017
Speeding up the existing theorem prover, using Conflict Resolution calculus
Project details
Contributor
vlad107
Mentors
Haniel Barbosa, Bruno Woltzenlogel Paleo, Adrián Rebola-Pardo, Daniyar Itegulov
Technologies
Not listed in the archive
Contributor
vlad107
Mentors
Haniel Barbosa, Bruno Woltzenlogel Paleo, Adrián Rebola-Pardo, Daniyar Itegulov
Not listed in the archive