search

MathHubInfo / Frontend

A new MathHub Narration Frontend written in React.
GNU Affero General Public License v3.0
2 stars 0 forks source link

Theory Graphs #14

Open ghost opened 6 years ago

ghost commented 6 years ago

be able to show a theory graph on every level.

kohlhase commented 6 years ago

Actually, if you coordinate with Marcel, you can already do that for the existing libraries.

kohlhase commented 5 years ago

See also #4 and UniFormal/TGView#54