The words contained in this file might help you see if this file matches what you are looking for:

...Isabelle scala system programming makarius wenzel tumunchen august motivation general aims renovate and reform traditional lcf style theorem proving for coming generations of users tool developers catch up with technological shifts e g advanced user interfaces parallel computing support novel models interactive proof checking possible applications web client based on server side prover component powerful editor or ide document preparation rich semantic information http www lang org what is anyway the next big thing in jvm world hype nice integration best object oriented many steps beyond java higher order functional improvements over mland haskell despite some compromises native domain specic languages wrapping process integral part pure sources ml by usual conventions carry to forexamplewedonotusemixedcaseidentiers layers bottom structure compiler runtime standard tight into isar posix glue bash perl works uniformly linux mac os windows via cygwin platform independent jar...