Inspiration/What it does

Visualize proof dependencies.

How we built it

With svelt, D3, and flowbite. Webscraping with python.

Challenges we ran into

D3 is horrible to work with.

Accomplishments that we're proud of

Having a working frontend.

What we learned

Not to work with D3 again.

What's next for Proof Wiki Visualizer

Add better zooming and movement along with better visualization of content of nodes.

Built With

Share this project:

Updates