python functions in the <name> module

  1. function <function>

1. function <Name>

$> Cora <Name> aut

Parameter:    aut: an automaton

Return value:    Blabla

Usage

A notebook with call to <name> functions.