yamafaktory
- Karma
- 513
- Created
- 13 years ago
About
https://github.com/yamafaktoryRecent Submissions
- 1. ▲ Show HN: Formal – LLM-driven property checker backed by Lean 4 and Mathlib (github.com)
- 2. ▲ Show HN: Formal – LLM-driven property checker, backed by Lean 4 and Mathlib (github.com)
- 3. ▲ Show HN: Formal – Formal verification for AI-generated code using Lean 4 (github.com)
- 4. ▲ Show HN: HypergraphZ – Hypergraph Implementation in Zig (github.com)
- 5. ▲ Show HN: HypergraphZ – A Hypergraph Implementation in Zig (github.com)
- 6. ▲ Show HN: HypergraphZ – A Hypergraph Implementation in Zig (github.com)
- 7. ▲ Show HN: HypergraphZ – A Hypergraph Implementation in Zig (github.com)
- 8. ▲ Show HN: HypergraphZ – A Hypergraph Implementation in Zig (github.com)
- 9. ▲ Show HN: HypergraphZ – A Hypergraph Implementation in Zig (github.com)
- 10. ▲ Show HN: HyperZig – A Hypergraph Implementation in Zig (github.com)