Re: [isabelle] proof dags?



Hello Ramana ,

a DAG is not the full picture. Proofs in general consist of forests, i.e. several DAGs connected at different hierarchical levels. Only in the case of axiomatic theories (Hilbert style ...) a single DAG is sufficient.

Happy Reasoning,
Jens





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