th0114nd / socialmath

A project repository for CS145 for a webapp displaying the network structure of proofs.
2 stars 2 forks source link