Preparing search index...
The search index is not available
Nota
Nota
@nota-lang/nota-components
math
Namespace math
Mathematical structures like theorems
Index
Interfaces
IRProps
Functions
IR
Premise
Theorem
Settings
Member Visibility
Protected
Private
Inherited
External
Theme
OS
Light
Dark
Modules
Nota
@nota-
lang/esbuild-
utils
@nota-
lang/nota-
common
either
nota
Text
option
result
@nota-
lang/nota-
components
bibliography
code
commentary
correspondence
definitions
document
header
language
loader
logger
math
plugin
portal
tex
togglebox
tooltip
utils
vega
@nota-
lang/nota-
editor
@nota-
lang/nota-
syntax
editor
parse
translate
IRProps
IR
Premise
Theorem
Generated using
TypeDoc
Mathematical structures like theorems