GitHub - avaneeshjoshi/Axlerate: Logical Reasoning Engine and Interactive Knowledge Graph for Proof-Based Math (WIP) · GitHub

Name		Name	Last commit message	Last commit date
Latest commit History 18 Commits
axlerate_db		axlerate_db
backend		backend
data/raw		data/raw
frontend		frontend
.gitattributes		.gitattributes
.gitignore		.gitignore

About

Logical Reasoning Engine and Interactive Knowledge Graph for Proof-Based Math (WIP)

Report repository

Releases

No releases published

Packages

Contributors

Languages