conf.directory
Conferences
Watch Later
History
Toggle theme
Toggle theme
Toggle menu
Conferences
Watch Later
History
Proof Assistants
1 talks about Proof Assistants
Proof Assistants - Tech Conference Talks and Videos | conf.directory | conf.directory
31:18
Intermediate
How To Use Real Computer Science in Your Day Job • Craig Stuntz • YOW! 2015
Craig Stuntz
GOTO Conferences
0 views
March 4
2023
Watch Now
