GitHub - HariZalan/TheoDef: Free mathematical library software with minimal interface

I do not develop this project anymore.

Name		Name	Last commit message	Last commit date
Latest commit History 7 Commits
.htaccess		.htaccess
AddressesandUsernames.php		AddressesandUsernames.php
LICENSE		LICENSE
README.md		README.md
RunItEverywhere.php		RunItEverywhere.php
about.html		about.html
accuracy_levels.js		accuracy_levels.js
addtheorem.php		addtheorem.php
black.svg		black.svg
compare.php		compare.php
delete.php		delete.php
emailAddressesandUsernames.php		emailAddressesandUsernames.php
fullTextSearch.php		fullTextSearch.php
goedel_numbers->algebratic_signs.inc.php		goedel_numbers->algebratic_signs.inc.php
help.html		help.html
index.php		index.php
latestedits.inc		latestedits.inc
latestedits.php		latestedits.php
logIn.php		logIn.php
move.php		move.php
preLogIn.php		preLogIn.php
registration.php		registration.php
reports.inc		reports.inc
reports.php		reports.php
search.php		search.php
stylesheet.css		stylesheet.css
undelete.php		undelete.php
upload.php		upload.php
userBlacklist.inc.php		userBlacklist.inc.php
userBlacklist.php		userBlacklist.php
user_IDs.php		user_IDs.php
viewAllversions.php		viewAllversions.php
white.svg		white.svg
whoCanDelete.php		whoCanDelete.php

Provide feedback