search

advancedresearch / joker_calculus

An implementation of Joker Calculus in Rust
MIT License
5 stars 2 forks source link

Reverse triple not? #71

Open bvssvni opened 11 months ago

bvssvni commented 11 months ago

Should Joker Calculus prove !x from !!!x?