Tristen Harr

CEO @ Logicaffeine, author of LOGOS lang

All activity

1d ago

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

LOGICAFFEINECompile English to Rust