scr-2187 topic
List
scr-2187 repositories
Prove-It
27
Stars
10
Forks
Watchers
A tool for proving and organizing general theorems using Python.
