Here are the use examples of Diderot framework.
More on Installation
Checking expected inferred facts
Enter search terms or a module, class or function name.