Institute for Computer-Aided Reasoning in Mathematics

icarm.io

ICARM is an NSF Mathematical Sciences Research Institute at Carnegie Mellon University, supporting new technologies for computer-aided reasoning in mathematics.