3 citations · 3 across the 1 of their papers we have counts for
1 paper · 1 filter
Anton Setzer
We present two models of the block chain of Bitcoin in the interactive theorem prover Agda. The first one is based on a simple model of bank accounts, while having transactions wit…