Formal runtime environment, system of formal languages and base libraries for programming, theorem proving and formal philosophy.
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