[Verifpal] Verifpal for Visual Studio Code

Nadim Kobeissi nadim at symbolic.software
Fri Apr 24 21:59:53 CEST 2020


Some elements of that video were bothering me (music was badly synced and also had pitch jitters sometimes during the video, the ending sequence was bad, etc. etc.) so I uploaded a better revision here:

https://youtu.be/it_hJkVU-UA

Nadim Kobeissi
Symbolic Software • https://symbolic.software

> On 24 Apr 2020, at 4:07 PM, Nadim Kobeissi <nadim at symbolic.software> wrote:
> 
> https://www.youtube.com/watch?v=HDB1TV8_-p0
> 
> Nadim Kobeissi
> Symbolic Software • https://symbolic.software
> 



More information about the Verifpal mailing list