Manifolds

[kbuzzard]

Goodness knows if this is feasible. I know that Patrick Massot is working hard on these; he lectures the manifolds course at Paris-Sud. I think he said it was really hard to even formalise the definition!