Cây toán học
Cây toán học: Mở khóa cấu trúc của toán học.
Đặc trưng
6 Phiếu bầu
Sự miêu tả
Làm cho các kết nối trong bản beta của cây toán học!Xem toán như chưa từng có trước đây: Chính thức hóa hoàn toàn, trực quan và có thể điều hướng.Cây toán học là một cơ sở dữ liệu đồ thị được chính thức hóa đầy đủ của toán học trong đó mọi định lý, định nghĩa và phương trình là một nút và quan hệ của chúng là các cạnh.