Mathematical Reasoning

We are a community of informaticists with interests in theorem proving, program synthesis and artificial intelligence

 

https://dream.inf.ed.ac.uk/