Join GitHub today
GitHub is home to over 28 million developers working together to host and review code, manage projects, and build software together.Sign up
mathematical property browser #8
suppose you have some object; you'd like to find out what you can do with it. for example, you might have a 'simple function'. then it could be measureable, say, in the context of measure theory, and so on.
can generalise to finding various theorems (and lemmas, etc) that could be used in certain scenarios. should be easy to use; not at the level of proof assistants.
things like this: