Launching today
LOGICAFFEINE
Compile English to Rust
1 follower
Compile English to Rust
1 follower
Turn everyday English into rigorous First-Order Logic. Verify arguments, surface hidden assumptions, and build rule systems that actually hold up.
1 follower
1 follower
