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

GSoC 2016

Parsers implementation and extension of proof compression algorithms from propositional to first-order logic

Project details

Contributor

Ezequiel Postan

Mentors

Katya, Bruno Woltzenlogel Paleo

Technologies

Not listed in the archive