Re: [Hol-info] literature for tactics

HOL4 Description Manual provides a detailed description of available tactics. http://sourceforge.net/projects/hol/files/hol/kananaskis-12/kananaskis-12-description.pdf/download -Umair On Tue, Mar 5, 2019 at 11:09 AM Gergely Buday wrote: > Hi, > > I'm learning HOL tactics and started to gather

[Hol-info] literature for tactics

Hi, I'm learning HOL tactics and started to gather relevant literature. Myreen's Guide to HOL4 interaction and basic proofs https://hol-theorem-prover.org/HOL-interaction.pdf gives a little introduction to tactics and http://www.cs.uu.nl/docs/vakken/pv/resources/kananaskis-7-quick.pdf gives a