I5h: Build a Rust Web App and Prove Its Behavior with Lean 4 | Hacker News - But Better

I5h: Build a Rust Web App and Prove Its Behavior with Lean 4 medium.com

1 points•syumei•1 day ago•0 comments•

#web #app #rust #prove #lean #behavior #i5h #rust web

0 comments

No comments yet.

Related stories

Show HN: Capsule – Single-file web apps that save their data into SQLitewithcapsule.app
Hacker News · 377 points · 15 days ago
Show HN: Cloud-based email and calendar sync platform and Android app – for salesugarmail.app
Hacker News · 1 points · 7 days ago
Show HN: CaughtShipping – curfew app for developers, enforced by a public wallcaughtshipping.com
Hacker News · 4 points · 4 days ago
Rust fact vs. fiction: 5 Insights from Google's Rust journey in 2022opensource.googleblog.com
Lobsters · 81 points · over 3 years ago
rust-sel4: Rust support for seL4 userspacegithub.com
Lobsters · 13 points · over 2 years ago
rust-glancer: An alternative LSP for Rust with focus on low memory usagerust-glancer.github.io
Lobsters · 25 points · about 1 month ago