https://github.com/dgpv/ABL_contract_TLAplus_spec/
GitHub - dgpv/ABL_contract_TLAplus_spec: TLA+ Specification for Asset-Based Lending smart contract...
TLA+ Specification for Asset-Based Lending smart contract state transition table generation - dgpv/ABL_contract_TLAplus_spec