search

seachel / treehehe

An interactive visualization of proof tree representations of mathematical proofs using D3 and MathJax.
0 stars 0 forks source link

Modules to TypeScript #86

Open seachel opened 4 years ago

seachel commented 4 years ago

Rewrite the modules in TypeScript instead of JavaScript.