conf.directory

Theorem proving

1 talks about Theorem proving

One Rule to Rule Them All • Pragmatic Dave Thomas • YOW! 2022
51:14
Beginner

One Rule to Rule Them All • Pragmatic Dave Thomas • YOW! 2022

Dave Thomas
GOTO Conferences
12,969 views
July 2 2023
Watch Now