Hacker News new | ask | show | jobs
by gtank 4146 days ago
I've been interested in formal treatments of ledgers for a while now. Does anyone know if other work has been done in this area?