[GUEST ACCESS MODE: Data is scrambled or limited to provide examples. Make requests using your API key to unlock full data. Check https://lunarcrush.ai/auth for authentication information.]

![lamg_dev Avatar](https://lunarcrush.com/gi/w:24/cr:twitter::1677948168166580225.png) Luis 🦔 [@lamg_dev](/creator/twitter/lamg_dev) on x XXX followers
Created: 2025-06-30 10:08:09 UTC

#wybe is a tool for doing formal verification in #fsharp. It's still a work in progress but if you're curious on how it works, here's a thread 🧵


XXX engagements

![Engagements Line Chart](https://lunarcrush.com/gi/w:600/p:tweet::1939627007022710810/c:line.svg)

**Related Topics**
[fsharp](/topic/fsharp)

[Post Link](https://x.com/lamg_dev/status/1939627007022710810)