Search: github.com/theory | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

391.

Hacker Laws – CAP Theorem / Brewer's Theorem (github.com/dwmkerr)

3 points

6 years ago

392.

Theorem proving VS testing (with a simple example) (github.com/MaiaVictor)

1 point

8 years ago

393.

Show HN: Computer-Aided Software Design

2 points

7 years ago

394.

ProofOfThought: LLM-based reasoning using Z3 theorem proving (github.com/DebarghaG)

326 points

8 months ago

395.

The Z3 Theorem Prover released under MIT license (github.com/Z3Prover)

304 points

11 years ago

396.

Tensorflow Deepmath: Experiments towards neural network theorem proving (github.com/tensorflow)

142 points

10 years ago

397.

The Z3 Theorem Prover (github.com/Z3Prover)

137 points

____Sash---701_

7 years ago

398.

Ongoing Lean formalization of the proof for Fermat's Last Theorem (github.com/ImperialCollegeLondon)

127 points

10 months ago

399.

Lean theorem prover mathlib (github.com/leanprover-community)

83 points

6 months ago

400.

Poi: Pragmatic point-free theorem prover assistant in Rust (github.com/advancedresearch)

71 points

6 years ago

401.

Holbert: An Interactive Theorem Prover (github.com/liamoc)

68 points

4 years ago

402.

Show HN: Dealta – A game-theoretic decentralized trading protocol (github.com/orgs)

56 points

5 months ago

403.

Cuckoo: a memory-bound graph-theoretic proof-of-work system (github.com/tromp)

56 points

10 years ago

404.

Propositional logic exercises with the lean theorem prover (github.com/ImperialCollegeLondon)

54 points

5 years ago

405.

Show HN: FLP Impossibility Theorem Proof in Coq (github.com/ConsensusResearch)

38 points

11 years ago

406.

The Z3 Theorem Prover (github.com/Z3Prover)

35 points

6 months ago

407.

Show HN: An encoding/decoding tool for Martin David's theoretical S language (ramadis.github.com)

24 points

10 years ago

408.

Information Theoretic Learning Auto-Encoders (github.com/cnel)

24 points

10 years ago

409.

React – Basic Theoretical Concepts (github.com/reactjs)

19 points

10 years ago

410.

PyTorch simulator refutes an 18-year-old quantum theorem (github.com/lizbeth307)

16 points

23 days ago

411.

Show HN: An encoding/decoding tool for Martin David's theoretical S language (github.com/ramadis)

12 points

10 years ago

412.

Show HN: An encoding/decoding tool for Martin David's theoretical S language (github.com/ramadis)

12 points

10 years ago

413.

What Bayes'theorem tell us (github.com/Windsooon)

8 points

9 years ago

414.

Show HN: Agent-to-code JIT compiler for Z3-theorem-proving agents (github.com/stanford-mast)

6 points

7 months ago

415.

Show HN: Lapisla – A Theorem Proving Platform for Openness and Reusability (github.com/lapisla-prover)

6 points

a year ago

416.

Show HN: Anders CCHM/HTS Theorem Prover (github.com/groupoid)

6 points

4 years ago

417.

A memory-bound graph-theoretic proof-of-work system (github.com/tromp)

6 points

8 years ago

418.

Logic Theorist Reanimated in IPL-V (github.com/jeffshrager)

5 points

3 months ago

419.

Show HN: I'm 6 months late, but I made a Natural Language theorem prover (github.com/ArnavAgrawal03)

3 points

a year ago

420.

Show HN: I made PeanoScript, an educational TypeScript-like theorem prover (peanoscript.mjgrzymek.com)

3 points

a year ago