Just to clarify: the merging problem was the result of certain lemmas
that had been moved around
among 3 theories (Determinants, Change_of_Vars and
Finite_Cartesian_Product) by Fabian
simultaneously with me tagging the theories.( Even though I did pull
several times daily.)
Simple merging did
25th AUTOMATED REASONING WORKSHOP 2018
University of Cambridge, 12-13 April 2018
http://www.cl.cam.ac.uk/events/arw2018/
CALL FOR ABSTRACTS AND STUDENT TRAVEL GRANT APPLICATIONS
GENERAL INFORMATION
The 25th Automated Reasoning Workshop (ARW 2018) will take place at the
University of
25th AUTOMATED REASONING WORKSHOP 2018
Cambridge, 12-13 April 2018
http://www.cl.cam.ac.uk/events/arw2018/
CALL FOR ABSTRACTS AND STUDENT TRAVEL GRANT APPLICATIONS
GENERAL INFORMATION
The 25th Automated Reasoning Workshop (ARW 2018) will take place at the
University of Cambridge on 12-13