Reference number : GC-2017-Q4-00546, amendment number : , agreement type : G, recipient legal name : Errington, Jacob (McGill University)|Errington, Jacob (Université McGill), recipient country : CA, recipient province : nan, recipient city : Quebec|Québec, recipient postal code : nan, program name english : University Undergraduate Student Research Awards, program name french : Bourses de recherche de 1er cycle en milieu universitaire, program purpose english : nan, program purpose french : nan, agreement title english : Mechanize proofs now!, agreement title french : Mechanize proofs now!, agreement number : URU, agreement value : 4500.0, agreement start date : 2018-02-15, agreement end date : nan, description english : nan, description french : nan, expected results english : nan, expected results french : nan, additional information english : Grant or Award spanning more than one fiscal year (2017-2018 to 2018-2019)., additional information french : Subvention ou bourse octroyée s'appliquant à plus d'un exercice financier (2017-2018 à 2018-2019)., owner organization : nserc-crsng, owner organization title : Natural Sciences and Engineering Research Council of Canada | Conseil de recherches en sciences naturelles et en génie du Canada