Logicaffeine
The Logos Programming Language and Theorem Prover
Alive
Record
- Name of product
- Logicaffeine
- Address
- logicaffeine.com
- Place of launch
- Show HN, week 3, 2026
- Date of launch
- 17 Jan 2026
- Reception
- 3 upvotes
- Age
- 258 days
- Last examined
- Day 90, 1 Oct 2026
- Reachable
- Yes
- Changed since last check
- Not yet known
- Shipping
- Yes
- Charging
- Yes
Is this your product?
If you want it off the site, say so. One click. No account.