GitHub repository: omelkonian/hoare-ledgers
Primary language: Agda
Description: Separation logic for UTXO-based blockchain ledgers