Wow, I really like their macro syntax! That seems very approachable to someone who usually doesn’t formally verify their code :)
this post was submitted on 05 May 2024
16 points (100.0% liked)
Formal Methods
165 readers
3 users here now
founded 1 year ago
MODERATORS