| user: | tristenharr |
| created: | February 15, 2023 |
| karma: | 166 |
| 1. | |
| 2. | Logos Programming Language is now on Grokipedia(grokipedia.com) |
| 3. | Show HN: The Logos Programming Language and Theorem Prover(logicaffeine.com) |
| 4. | |
| 5. | Logos Theorem Prover: Auto Tactic(logicaffeine.com) |
| 6. | Logos Language Guide: Compile English to Rust(logicaffeine.com) |
| 7. | Golden Algebra (The Textbook: Preview Edition)(zenodo.org) |
| 8. | |
| 9. | |
| 10. | |
| 11. |