DatabaseOfProofsEngine is a web application for students & researchers of math that are studying arrow-theoretic topics.
javascript
python
math
neo4j
proof
neo4j-database
mathematics
mobile-app
python3
web-application
category-theory
graph-database
network-visualization
quiver
topos-theory
homological-algebra
bootstrap-studio
proof-theory
bootstrap5
commutative-diagram
-
Updated
Dec 24, 2023 - JavaScript