Zulip Chat Archive
Stream: LftCM22
Topic: Basics Demo
Johan Commelin (Jul 12 2022 at 15:30):
Here is the file that I promised to upload 2 hrs ago: basics_demo.lean
Last updated: May 02 2025 at 03:31 UTC
Here is the file that I promised to upload 2 hrs ago: basics_demo.lean
Last updated: May 02 2025 at 03:31 UTC