https://github.com/groupoid/axio

🧊 Перша формальна система
https://github.com/groupoid/axio

Last synced: 10 months ago
JSON representation

🧊 Перша формальна система

• Host: GitHub
• URL: https://github.com/groupoid/axio
• Owner: groupoid
• License: other
• Created: 2013-08-30T14:02:18.000Z (over 12 years ago)
• Default Branch: main
• Last Pushed: 2025-02-21T16:46:18.000Z (11 months ago)
• Last Synced: 2025-02-21T17:31:09.165Z (11 months ago)
• Language: TeX
• Homepage: http://axio.groupoid.space/
• Size: 10 MB
• Stars: 92
• Watchers: 14
• Forks: 11
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

          
AXIO/1

======

Formal runtime environment,

   system of formal languages and base libraries

   for programming, theorem proving and formal philosophy.

Monography

----------

Compilation: https://axiosis.github.io/books/axio/axio.pdf

```

$ cp *.ttf ~/.local/share/fonts

$ sudo apt install texlive-full

$ sudo fc-cache -f

$ fc-match Geometria

```

```

$ cd tex/dissertation/monography

$ make

```