Call for Talks and Papers
WiL 2019: 3rd Women in Logic Workshop
Vancouver, Canada
23 June 2019
https://sites.google.com/site/womeninlogic2019/home
Affiliated with the Thirty-Fourth Annual ACM/IEEE Symposium on Logic in
Dear HOL users,
Lean Forward [1] is an ambitious research project that aims at formally proving
theorems in research mathematics and to address the main usability issues
hampering the adoption of proof assistants in mathematical circles, by
collaborating with number theorists. The project is