this post was submitted on 25 Dec 2023

9 points (100.0% liked)

Formal Methods

177 readers

2 users here now

founded 2 years ago

MODERATORS

synthetic_apriori

9

TLA+ in Isabelle/HOL (davecturner.github.io)

submitted 1 year ago by armchair_progamer to c/formal_methods

0 comments fedilink hide all child comments

no comments (yet)

sorted by: hot top controversial new old

there doesn't seem to be anything here