this post was submitted on 10 Mar 2024
11 points (100.0% liked)
Formal Methods
166 readers
3 users here now
founded 1 year ago
MODERATORS
there doesn't seem to be anything here