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.