Amanote Research
Register
Sign In
Progress in the Independent Certification of Mizar Mathematical Library in Isabelle
doi 10.15439/2017f289
Full Text
Open PDF
Abstract
Available in
full text
Date
September 24, 2017
Authors
Cezary Kaliszyk
Karol Pąk
Publisher
IEEE