Alloy tutorial Part 1 Getting started
>> YOUR LINK HERE: ___ http://youtube.com/watch?v=Sf8iWVvkWQ4
It walks you through the installation process of AlloyTools and shows how to use its GUI. It also introduces a basic building block: signatures, predicates, assertions and functions • Accompanying blog post: https://msitko.pl/blog/2020/05/24/gui... • Code: https://gist.github.com/note/66ff8c76... • • Video has been recorded in 1920x1080 resolution, switch the player to that resolution for optimal quality
#############################
