/Discretion

A proof helper for discrete math

Primary LanguageJava

This repository is not active