Viewing profile — meoleo
meoleo
HN member- Joined
- Sat, Jan 25, 2025, 10:26 PM UTC
- HN karma
- 1
- Public activity
- 1 items
- HN profile
- View on Hacker News ↗
About meoleo
No profile information was provided.
Recent public activity
-
comment
Comment #42825614
TLA+ and Coq are too hard for most SAAS applications. Tried FizzBee ( https://fizzbee.io/tutorials/getting-started/ ) and P ( https://p-org.github.io/P/whatisP/ )? These seems quit…