Giters

advancedresearch / prop

Propositional logic with types in Rust

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Create "fun" module for functional programming as propositions

bvssvni opened this issue · comments