Piston Developers on Twitter: "Hooo v0.1 released! A propositional logic theorem prover with support for exponentials: https://t.co/axzIcc36Tf https://t.co/o4WFFIXeAL" / Twitter - discu.eu

Reddit

Hooo v0.1 released! A propositional logic theorem prover with support for exponentials https://twitter.com/PistonDeveloper/status/1567414589129637888 2 comments 7/9/2022 rust

Would you like to stay up to date with Rust? Checkout Rust Weekly.

Related searches:

Search whole site: site:twitter.com

Search title: Piston Developers on Twitter: "Hooo v0.1 released! A propositional logic theorem prover with support for exponentials: https://t.co/axzIcc36Tf https://t.co/o4WFFIXeAL" / Twitter

See how to search.

Submit link to: