"The Vampire Journey: building a theorem prover for program verification, Giles Reger | LMS CSC 2023" youtube.com/watch?v=19tDmD… (Vampire is one of the best automatic theorem-provers.) #AppliedMathematics #Software
0
0
1
138
0