Contributor
vlad107

Speeding up the existing theorem prover, using Conflict Resolution calculus


Mentors
Haniel Barbosa, Bruno Woltzenlogel Paleo, Adrián Rebola-Pardo, Daniyar Itegulov
Organization
AOSSIE - Australian Open Source Software Innovation and Education

I'm going to speed up the theorem prover based on Conflict Resolution calculus. In particular, I am going to improve the bottlenecks in the current version of the algorithm by using better data structures.