Amanote Research
Register
Sign In
TacticToe: Learning to Reason With HOL4 Tactics
doi 10.29007/ntlb
Full Text
Open PDF
Abstract
Available in
full text
Date
Unknown
Authors
Thibault Gauthier
Cezary Kaliszyk
Josef Urban
Publisher
EasyChair