List of Research Groups in Logic and Theoretical Computer Science World-wide

Here:

Software, Theorem Provers

General Sites

LaTeX, TeX

Theorem Provers

Functional Programming Languages

Teaching Software

Other Symbolic Computations

FTP-servers and other sites

Programming Languages


Please mail additions and corrections to Anton Setzer , Replace '_dot_' by '.' and '_at_' by '@' in 'a_dot_g_dot_setzer_at_swan_dot_ac_dot_uk'.