[Agda] Using Agda in proving computer system correct

[Nils Anders Danielsson]

On 03/08/2019 10.05, Marko Dimjašević wrote:
> Is it due to sub-optimal automated proof search?

I don't know what the people you talked to had in mind, but this could
be one thing. Libraries might be another.

-- 
/NAD