Skip to article frontmatter Skip to article content

Site not loading correctly?

This may be due to an incorrect BASE_URL configuration. See the MyST Documentation for reference.

Matita Documentation

Backlog

item-03 Parse default value of parameters

Follow-up to item-02. More complex, because the default value is embedded in the description text.

item-02 Parse *data type* of parameters

item-04 `matita.office` Classes to `None` if defining com_object is `None`