Erlang rocks (Re: Eppur si sugat)

[Matthias Lang]

Dr.Dr.Ruediger M.Flaig writes:

 > This latest thing is what I have really been missing. Erlang is 
 > a functional language, so it should be possible to employ 
 > automatic theorem provers and all that kind of stuff. 

Thomas Arts is one of the people who have been involved in work in
this area. You can read about it here

   http://www.sics.se/fdt/projects/vericode/evt.html

or on the links you get from google if you enter "Erlang Theorem
Prover".

Matthias