This is what they are trying to do with Lean
Oh? Where can i read more about that? It appears the sole focus so far was solving open problems
Oh? Where can i read more about that? It appears the sole focus so far was solving open problems