Integration of Mantik
As discussed with Kristian Ehlert (and during the General Assembly on 6th November), Mantik will be integrated into this repository.
As discussed with Kristian Ehlert (and during the General Assembly on 6th November), Mantik will be integrated into this repository.