This repository contains implementations of various formal systems such as lambda calculus, SKI combinatory calculus and propositional logic.
-
Notifications
You must be signed in to change notification settings - Fork 0
This repository contains implementations of various formal systems such as lambda calculus, SKI combinatory calculus and propositional logic.
License
0art0/formal-systems
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
This repository contains implementations of various formal systems such as lambda calculus, SKI combinatory calculus and propositional logic.
Resources
License
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published