LOGICAFFEINE

LOGICAFFEINE

Compile English to Rust

3 followers

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

LOGICAFFEINE makers

Here are the founders, developers, designers and product people who worked on LOGICAFFEINE

Tristen Harr
Tristen HarrCEO @ Logicaffeine, author of LOGOS lang
LOGICAFFEINELOGICAFFEINE