Restructured documentation
Closes #66 (closed) and #37 (closed)
This MR restructures the documentation and introduces a theory page
Edited by Jakub Fojt
Closes #66 (closed) and #37 (closed)
This MR restructures the documentation and introduces a theory page