neato link

https://jscoq.github.io/ – coq proof assistant in your browser.

includes tutorial.

neato video

a vlogger recounts his experience visiting Shag Harbour.

been there, done that, got the tee shirt

might have to pop out to the far end of the province sometime. alternatively…

literally a potato museum

Author: Mike Godfrey

If you're wondering which Mike Godfrey wrote this, here is the disambiguation page: https://peopleshader.com/shader/o9gd6XYvwn

Leave a Reply

Your email address will not be published. Required fields are marked *