Matita Library

Scripts

The scripts used to generate the knowledge base of Matita can be browsed on line.