GitHub topics: belnap-logic
matt-kukla/mvl
Multivalued logic systems in OCaml.
Language: OCaml - Size: 38.1 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 2 - Forks: 0
Related Keywords
Multivalued logic systems in OCaml.
Language: OCaml - Size: 38.1 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 2 - Forks: 0