Lmst

#Program_verification

Snapshottable Stores
https://dl.acm.org/doi/10.1145/3674637
#ycombinator #Backtracking #Persistence #Program_verification #Semi_persistence

Client Info

Server: https://mastodon.social

Version: 2025.04

Repository: https://github.com/cyevgeniy/lmst