this post was submitted on 13 Jan 2025
5 points (100.0% liked)

Formal Methods

169 readers
1 users here now

founded 2 years ago
MODERATORS
Ategon
synthetic_apriori
5
Verified Effectful Programming in F* - Catalin Hritcu (youtu.be)
submitted 3 weeks ago* (last edited 3 weeks ago) by [email protected] to c/formal_methods
0 comments fedilink hide all child comments
 

I noticed that not many people in the formal methods world have even heard of F Star. From what I’m told, it goes even further than Agda and Coq in proving correctness. I’d like to understand why if someone would explain.

no comments (yet)
sorted by: hot top controversial new old
there doesn't seem to be anything here