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