Southampton Education School
7.41K subscribers
28:22
Professor Ming Ming Chiu
Southampton Education School
85 views • 2 months ago
52:18
Dr Stephen Sowa
Southampton Education School
30 views • 3 months ago
46:38
Professor Christian Bokove
Southampton Education School
44 views • 4 months ago
42:42
Professor Tim Corcoran
Southampton Education School
41 views • 6 months ago
40:47
Wonyong Park
Southampton Education School
34 views • 6 months ago
45:03
Sibel Erduran
Southampton Education School
62 views • 6 months ago
34:42
Dr Athina Thoma
Southampton Education School
39 views • 6 months ago
26:36
Dr Cristina Azaola
Southampton Education School
39 views • 6 months ago
37:30
Professor Ayelet Baram-Tsabari
Southampton Education School
21 views • 6 months ago
32:26
Professor Jan Germen Janmaat
Southampton Education School
19 views • 6 months ago
39:25
Dr Sarah Lewthwaite, Dr Andy Coverdale and Sarah Horton
Southampton Education School
28 views • 6 months ago
33:24
Professor Christian Bokhove and Dr Athina Thoma
Southampton Education School
45 views • 6 months ago
38:14
Dr Vasilis Strogilos and Dr Becky Ward
Southampton Education School
49 views • 6 months ago
30:14
Dr Ben Whitburn
Southampton Education School
44 views • 6 months ago
38:53
Dr Ben Davies
Southampton Education School
26 views • 6 months ago
38:59
Dr Tae Hee Choi
Southampton Education School
80 views • 6 months ago
36:10
Dr Andri Christodoulou and Professor Marcus Grace
Southampton Education School
41 views • 6 months ago
35:59
PGR Education Student Conference 2023 Keynote Speech
Southampton Education School
38 views • 6 months ago
36:38
Professor Elizabeth Walton
Southampton Education School
13 views • 6 months ago
47:20
Professor Jodie Hunter
Southampton Education School
66 views • 6 months ago
23:43
Dr Penny Lawrence
Southampton Education School
47 views • 6 months ago
1:14:32
Students share their experiences
Southampton Education School
69 views • 6 months ago
23:56
Experiences from a formal verification course designed for 3rd year math majors
Southampton Education School
41 views • 6 months ago
37:12
Using Lean with controlled natural language input to teach mathematical proof writing
Southampton Education School
114 views • 6 months ago
26:02
A "calculation-heavy" introduction to proof, with support from Lean
Southampton Education School
131 views • 6 months ago
23:29
Proving with the Lean theorem prover: The case of transitivity of implication
Southampton Education School
142 views • 6 months ago
22:24
Students’ engagement with Lean: working in the Advanced Proposition World of the Natural Number Game
Southampton Education School
29 views • 6 months ago
24:58
Teaching undergraduate mathematicians and computer scientists how to formalize mathematics
Southampton Education School
145 views • 6 months ago
27:59
Teaching Lean vs. teaching with Lean
Southampton Education School
43 views • 6 months ago
22:45
Teaching mathematicians to formalise
Southampton Education School
140 views • 6 months ago
Load More