AXIO/1

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

Monography

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

$ cd tex/dissertation/monography
$ make

Name		Name	Last commit message	Last commit date
Latest commit History 66 Commits
CCHM		CCHM
tex		tex
.gitattributes		.gitattributes
.gitignore		.gitignore
CNAME		CNAME
LICENSE		LICENSE
README.md		README.md
footer.pug		footer.pug
framework.js		framework.js
geometria-light.ttf		geometria-light.ttf
header.pug		header.pug
index.htm		index.htm
index.html		index.html
index.pug		index.pug
main.css		main.css
monography.pdf		monography.pdf
package.json		package.json