FC100OpenSet1

A random subset of 100 open research problems, drawn uniformly at random from all problems with the category research open tag.

def Subsets.FC100OpenSet1.problems : List Lean.Name

Equations

• One or more equations did not get rendered due to their size.