/classroom-proofs

A collection of geometry proof files by using automated deduction

This repository is not active