Interfacing Coq + SSReflect with GAP

Vladimir Komendantsky, Alexander Konovalov, Stephen Alexander Linton

Research output: Contribution to journal › Article › peer-review

1 results

Filter

Finished
1 Symbolic Compulation Infra' 026133: Symbolic computation infrastructure for Europe
Linton, S. A. (PI) & Hammond, K. (CoI)
European Commission
1/04/06 → 31/12/11
Project: Standard