|
|
@ -3,7 +3,7 @@
|
|
|
|
|
|
|
|
|
|
|
|
## Contents
|
|
|
|
## Contents
|
|
|
|
* [[Introduction]]
|
|
|
|
* [[Introduction]]
|
|
|
|
* [[Current code evaluating solution|Introduction#current-code-evaluating-solution]]
|
|
|
|
* [[Current solution at MFF UK|Introduction#current-solution-at-mff-uk]]
|
|
|
|
* [[Analysis of related projects|Introduction#analysis-of-related-projects]]
|
|
|
|
* [[Analysis of related projects|Introduction#analysis-of-related-projects]]
|
|
|
|
* [[ReCodEx goals|Introduction#recodex-goals]]
|
|
|
|
* [[ReCodEx goals|Introduction#recodex-goals]]
|
|
|
|
* [[Terminology|Introduction#terminology]]
|
|
|
|
* [[Terminology|Introduction#terminology]]
|
|
|
|