# Start page for namespace CoFi      
       
[Degrees of formalisation](/cofi/formalisation)