Indyscala-mathlib is a project mainly written in Scala, it's free.
Presentation for the Sept. 2010 Indy Scala meetup
404: Not Found