Re: [isabelle] Theorem-proving for a Bayesian model compiler

On Wed, 16 Mar 2011, Kevin Van Horn wrote:

A introduction on how to write tactics is found in the Isabelle

Great! This seems to have a lot of the missing pieces I couldn't find in the tutorial and reference manual.

You should also look at the "implementation" manual.


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