Zulip Chat Archive

Stream: general

Topic: look what I found on the internet

Johan Commelin (Sep 11 2018 at 18:29):

https://mathematicswithoutapologies.wordpress.com/2018/09/11/guest-post-by-kevin-buzzard/

Johan Commelin (Sep 18 2018 at 17:37):

https://jiggerwit.wordpress.com/2018/09/18/a-review-of-the-lean-theorem-prover/

Johan Commelin (Sep 18 2018 at 17:40):

@William Stein Tom Hales mentions CoCalc :smiley:

William Stein (Sep 18 2018 at 18:53):

Thanks!

Last updated: May 02 2025 at 03:31 UTC