[FRIAM] TheoremDep

[uǝlƃ ☣]

I saw this on reddit this morning and thought some of you might like it:

https://sharmaeklavya2.github.io/theoremdep/
> Track dependencies between theorems.

> About TheoremDep
> TheoremDep contains many theorems and shows you the dependencies for each theorem. Theorem X is said to be dependent on theorem Y iff Y is used as a lemma in the proof of X. Therefore, this website presents proofs in a way which simultaneously achieves the goals of not assuming any prior knowledge and making it easy to skip parts you already know.
> 
> TheoremDep is generated using ConcepDAG. ConcepDAG is a tool to visualize dependencies between things in the form of a static website.
> 
> If you want to contribute, check out the source code of these projects:
> 
>     TheoremDep
>     ConcepDAG



-- 
☣ uǝlƃ