Top level include for the Rodin::
The FormLanguage module provides the base classes and infrastructure for the domain-specific language (DSL) used to express variational formulations in Rodin. This includes expression templates and lazy evaluation mechanisms.
Search for symbols, directories, files, pages or
modules. You can omit any prefix from the symbol or file path; adding a
: or / suffix lists all members of given symbol or
directory.
Use ↓ / ↑ to navigate through the list, Enter to go. Tab autocompletes common prefix, you can copy a link to the result using ⌘ L while ⌘ M produces a Markdown link.