search

RedPRL / sml-redprl

The People's Refinement Logic
http://www.redprl.org/
MIT License
227 stars 18 forks source link

Funding acknowledgements #580

Closed favonia closed 6 years ago

favonia commented 6 years ago

Should we put the funding acknowledgements somewhere on the website or in the GitHub repo?

jonsterling commented 6 years ago

Probably on both...

cangiuli commented 6 years ago

This research was sponsored by the Air Force Office of Scientific Research under grant number FA9550-15-1-0053 and the National Science Foundation under grant number DMS-1638352. We also thank the Isaac Newton Institute for Mathematical Sciences for its support and hospitality during the program "Big Proof" when part of work on this paper was undertaken; the program was supported by the Engineering and Physical Sciences Research Council under grant number EP/K032208/1. The views and conclusions contained in this document are those of the authors and should not be interpreted as representing the official policies, either expressed or implied, of any sponsoring institution, government or any other entity.

ecavallo commented 6 years ago

the Big Proof part mentions "work on this paper"

jonsterling commented 6 years ago

oops