Atlas: Metadata-first proof chains for critical digital actions(github.com)2 points by astra_omnia 30 days ago | 0 comments