Moonad is the beginning of a long-term project aiming to build an entire
operating system built on top of type-theory. In the short term, it serves as a
big collection of Formality-Core
structures, algorithms and proofs. Feel encouraged to contribute with your own
code. Anything is welcome!
-
Notifications
You must be signed in to change notification settings - Fork 5
Soonad/Moonad
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
An upcoming operating system built on Type-Theory
Resources
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published