Network collaborators

The MAP group intends to gather people with connected topics of interest, such as constructive algebra, computer algebra, designers and users of proof systems.

Here is a temporary list of people interested in the MAP project.

Note: There are still a few missing names: work in progress. Feel free to contact the web administrator if you wish to update your affiliation or be included in the interest group.
Note that there is also a mailing list (see Network Information).