Creează un cont pentru a te abona la acest blog și a-i urmări articolele pe pagina Lectură.
Articole: 5
-
In our board representation we took some pragmatic shortcuts, constraining allowed boards more than was strictly necessary.
-
In the third post in this series, we will refine the abstract model we created in part 1 using the board representation we defined in part 2.
-
In the last post, we introduced Verus and used it to create an abstract formal model of Snakes and Ladders.
-
Recently I’ve been learning Verus, which is a system for proving the correctness of Rust programs.
-
Recently I went to a park that had a brick labyrinth in it.