AXIO/1

Formal runtime environment, system of formal languages and base libraries for programming, theorem proving and formal philosophy.

Monography

Compilation: https://groupoid.github.io/monography/monography.pdf

$ cp *.ttf ~/.local/share/fonts
$ sudo apt install texlive-full
$ sudo fc-cache -f
$ fc-match Geometria

$ cd tex/dissertation/monography
$ make