GitHub repository: COSC3020/log-o-proof-CollinDavis03
Description: cosc3020-fall2024-log-o-proof-log-o created by GitHub Classroom