Clean up and document KS22 formalizationΒ #16
Description
Currently the formalization is undocumented, little to no explanations or comments are given.
Before wrapping up the milestone, we need to properly document everything.
{{ message }}
Currently the formalization is undocumented, little to no explanations or comments are given.
Before wrapping up the milestone, we need to properly document everything.