Back to AOSSIE - The Australian National University's Open-Source Software Innovation and Education

GSoC 2016

Implementation of theorem prover based on Skeptik's data structures and Conflict Resolution algorithm

Project details

Contributor

itegulov

Mentors

Katya, Bruno Woltzenlogel Paleo

Technologies

Not listed in the archive