Workshop: interactive thm proving in education + research

Stream: Lean for teaching

[A.]

@Gihan Marasingha Hi! Is this workshop supposed to be starting now? How do I join? I filled in the form last night

[A.]

Perhaps I don't exist

[Gihan Marasingha]

Hi

Sorry, I didn't see your message. Here's the link:

Marasingha, Gihan is inviting you to a scheduled Zoom meeting.

Topic: Interactive Theorem Proving in Education and Research: Exeter Workshop
Time: Jul 24, 2024 09:30 AM London

Join Zoom Meeting
https://Universityofexeter.zoom.us/j/98305462205?pwd=UauwYqqsYaa9BXuZtKxPeFXPYa3UP9.1

Meeting ID: 983 0546 2205
Password: 968760

Dial by your location
+1 213 338 8477 US (Los Angeles)
+1 253 215 8782 US (Tacoma)
+1 267 831 0333 US (Philadelphia)
+1 301 715 8592 US (Washington DC)
+1 312 626 6799 US (Chicago)
+1 346 248 7799 US (Houston)
+1 470 250 9358 US (Atlanta)
+1 470 381 2552 US (Atlanta)
+1 602 753 0140 US (Phoenix)
+1 646 518 9805 US (New York)
+1 651 372 8299 US (Minnesota)
+1 669 219 2599 US (San Jose)
+1 669 900 6833 US (San Jose)
+1 720 928 9299 US (Denver)
+1 786 635 1003 US (Miami)
+1 929 205 6099 US (New York)
+1 971 247 1195 US (Portland)
+1 206 337 9723 US (Seattle)

For guidance and support on using Zoom, University of Exeter staff and students can visit the University’s <a href="https://universityofexeteruk.sharepoint.com/sites/TheDigitalHub">Digital Hub</a>.

If you do not have a University of Exeter login please visit <a href="https://support.zoom.us/hc/en-us">Zoom Support</a>.