Příspěvky uživatele
Z Iurium Wiki
uživatele Bachjeppesen2927 (diskuse | kniha zablokování | načtené soubory | protokolovací záznamy)
- 14. 11. 2024, 19:48 (rozdíl | historie) . . (+6 644) . . N Bachjeppesen2927 (Založena nová stránka s textem „© The Author(s) 2019.We formalize algebraic numbers in Isabelle/HOL. Our development serves as a verified implementation of algebraic operations on real a…“) (aktuální)
