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