9 commits

Author	SHA1	Message	Date
Jakub Pelc	4fc86cf354	Fix typo	2025-03-25 22:16:32 +01:00
Jakub Pelc	cd93ccb063	Formát debugovacího výstupu	2025-03-06 15:22:54 +01:00
Jakub Pelc	b2debdfb57	Poznámka o odmocnině	2025-03-06 10:24:57 +01:00
Jakub Pelc	48fa72a052	Prohození znamének pro lepší čitelnost	2025-03-06 10:24:24 +01:00
Jakub Pelc	86afa8b332	Další upřesnění specifikace	2025-03-06 10:03:56 +01:00
Jakub Pelc	7592365228	Další reformulace specifikace	2025-03-06 09:37:45 +01:00
Jakub Pelc	034247befc	Fix wording	2025-03-06 08:25:08 +01:00
Jakub Pelc	20904e89b3	Explicitně upozornit na některé vlastnosti simulace	2025-03-06 08:19:25 +01:00
xiaoxiae	616c1edf04	Init specifikace	2025-02-11 22:30:54 +01:00