https://github.com/5ht/formal.uno-private

🧊 Перша Формальна Система
https://github.com/5ht/formal.uno-private

Last synced: 2 days ago
JSON representation

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

• Host: GitHub
• URL: https://github.com/5ht/formal.uno-private
• Owner: 5HT
• License: other
• Created: 2019-02-15T11:07:58.000Z (almost 6 years ago)
• Default Branch: main
• Last Pushed: 2022-04-08T01:00:07.000Z (over 2 years ago)
• Last Synced: 2024-11-24T16:52:49.368Z (29 days ago)
• Language: TeX
• Homepage: https://formal.uno
• Size: 34.4 MB
• Stars: 3
• Watchers: 3
• Forks: 1
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

        
FORMAL SYSTEM ONE

=================

Formal runtime environment,

   system of formal languages and base libraries

   for programming, theorem proving and formal philosophy.

Where `FORMAL` stands for system of formal languages up to homotopy type systems

for doing formal math research, `SYSTEM` stands for runtime environment [which

consists of CPS interpreter with AVX/GPU vectorization and SMP process calculus

with intercore protocol] for mathematical/physical simulations and general

purpose programming, and `ONE` stands for philosophy research.

Monography

----------

Compilation: https://formal.uno/monography.pdf

```

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

$ sudo apt install texlive-full

$ sudo fc-cache -f

$ fc-match Geometria

```

```

$ cd tex/dissertation/monography

$ make

```