Commit graph

2 commits

Author SHA1 Message Date
Mike Lopez
2b927d90d4
Update Theorem to TheoremOne
And relevant links to our new site.

Signed-off-by: Mike Lopez <105670462+mikelopez-theoremone@users.noreply.github.com>
2022-10-14 18:24:59 -04:00
Federico Saravia
a51b2f4a3e Add Theorem (#574) 2019-06-07 09:14:17 +01:00