Sean Leather
Results
113
comments of
Sean Leather
Cool. I'll watch and see what you come up with. :)
Just curious what your idea is. This would be a different definition from the root `disjoint` in `data/set/lattice.lean`? ```lean def disjoint (a b : α) : Prop := a ⊓...
It's not clear to me that what you have there is related to a [virtual file system](https://en.wikipedia.org/wiki/Virtual_file_system). What I see feels very different. Also, I see the usefulness of abstracting...