Report copyright - A Kepler sejtés bizonyításának ellenőrzése · •Johannes Kepler, Six-Cornered Snowflake, 1611 •Freek Wiedijk, Formal Proof—Getting Started •Thomas Hales et al., The formal
Please pass captcha verification before submit form
Please pass captcha verification before submit form