FC100 subsets

Formal Conjectures' 4 benchmark lists in FormalConjectures/Subsets, a page each.

The dependency explorer needs JavaScript and its graph data.

Download the complete graph data.