LOGICAFFEINE
Compile English to Rust
Start new thread
Tristen Harr

LOGICAFFEINE - Compile English to Rust

by•
Turn everyday English into rigorous First-Order Logic. Verify arguments, surface hidden assumptions, and build rule systems that actually hold up.

Add a comment

Replies

Be the first to comment