Project : logical

Section: Contracts and Grants with Industry

Mao

MAO is an ACI (ministry grant) about developping an interface and libraries on top of Coq in order to provide support for ``professional mathematicians''. It gathers both computer scientists (projects Logical and Lemme) and mathematicians (Lab. Dieudonné, University of Nice). The project's homepage URL is  http://math1.unice.fr/~jpg/aci/index.htm