wikifn-fstar

Composition Trees

A local D3 browser for selected composition graphs. It uses saved local data and does not contact Wikifunctions while browsing.

Demos menu

Draw A Tree

The tree marks selected compositions, arguments, constants, assumed primitives, and foreign-code frontiers. A tree is drawn only after the button is pressed.

How To Read It