TheoLog icon indicating copy to clipboard operation
TheoLog copied to clipboard
verified publisher icon knowsys

Fix typos, commas, hyphens and more

Open anbereza opened this issue 4 years ago • 0 comments

P.S.: I (Andrej Bereza) changed my GitHub username to anbereza, so please update the link on https://iccl.inf.tu-dresden.de/web/Formale_Systeme_(WS2020).

anbereza avatar Aug 04 '21 19:08 anbereza