Re: [isabelle] New in the AFP: Sigma Protocols and Commitment Schemes



On 08/10/2019 14:04, Peter Lammich wrote:
> 
>> Incidentally, you might want to take look at the session graph:
>>
>>
> https://www.isa-afp.org/browser_info/current/AFP/Sigma_Commit_Crypto/session_graph.pdf
>>
> The theories it imports DO NOT depend on the Refinement Framework (I
> invested some work here to make the abstract network flow theory
> independent from the implementation). Nevertheless, the theory graph
> contains everything used by any theory in EdmondsKarp_Maxflow, so is
> not particularly precise here.
> 
> Does this indicate a problem with the theory graph generation, or a
> problem with the session setup in the Edmonds-Karp AFP entry?

Concerning the session graph display: there is always a bit of
variability in what to show and what to hide; included is a trimmed-down
version according to Isabelle/79d23e6436d0.


	Makarius




This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.