Isabelle-icon
 
for Transparent    
Software in    
Applied    
Mathematics