conjectors/theorem/db/app/...
I made these codes and algorithms 20 to 25 years ago. Now just rewrite in newst python version.
⚠️ Free to use all codes. but for morality, mention my github. thanks
🔎 The
[
and]
is common syntax oflatex
onmarkdown
files for showing in center of line. Otherwise used for rounding number.