Search: github.com/theory | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

391.

Powerful platform for building a business application using the Laravel

github.com/TheOrchid

9 years ago

1 points

392.

Laravel Admin / Laravel CMS

github.com/TheOrchid

9 years ago

1 points

393.

Recreation of the 1956 IPL-I version of the Logic Theorist theorem prover

github.com/dmoews

a month ago

26 points

394.

Theoretical Computer Science

github.com/mostafatouny

a year ago

1 points

395.

Show HN: Protocol for Verified Ephemeral Broadcasting

github.com/skylessdev

5 months ago

2 points

396.

Some Junk Theorems in Lean

github.com/James-Hanson

6 months ago

91 points

397.

Common Fundamental Theorem of Software Development

github.com/IndieRobert

10 years ago

18 points

398.

Simple Proof of Fermats Last Theorem: Is There Any Mistake Here?

github.com/TheDeepThinker

10 years ago

4 points

399.

A new/general proof of 4 color theorem

github.com/windglider

9 years ago

2 points

400.

A chatterbot using reservoir computing to process and generate natural language.

15 years ago

3 points

401.

Hacker Laws – CAP Theorem / Brewer's Theorem

github.com/dwmkerr

6 years ago

3 points

402.

Theorem proving VS testing (with a simple example)

github.com/MaiaVictor

8 years ago

1 points

403.

Show HN: Computer-Aided Software Design

7 years ago

2 points

404.

ProofOfThought: LLM-based reasoning using Z3 theorem proving

github.com/DebarghaG

9 months ago

326 points

405.

The Z3 Theorem Prover released under MIT license

github.com/Z3Prover

11 years ago

304 points

406.

Tensorflow Deepmath: Experiments towards neural network theorem proving

github.com/tensorflow

10 years ago

142 points

407.

The Z3 Theorem Prover

github.com/Z3Prover

7 years ago

____Sash---701_

137 points

408.

Ongoing Lean formalization of the proof for Fermat's Last Theorem

github.com/ImperialCollegeLondon

a year ago

127 points

409.

Lean theorem prover mathlib

github.com/leanprover-community

6 months ago

83 points

410.

Poi: Pragmatic point-free theorem prover assistant in Rust

github.com/advancedresearch

6 years ago

71 points

411.

Holbert: An Interactive Theorem Prover

github.com/liamoc

4 years ago

68 points

412.

Show HN: Dealta – A game-theoretic decentralized trading protocol

github.com/orgs

6 months ago

56 points

413.

Cuckoo: a memory-bound graph-theoretic proof-of-work system

github.com/tromp

10 years ago

56 points

414.

Propositional logic exercises with the lean theorem prover

github.com/ImperialCollegeLondon

5 years ago

54 points

415.

Show HN: FLP Impossibility Theorem Proof in Coq

github.com/ConsensusResearch

11 years ago

38 points

416.

The Z3 Theorem Prover

github.com/Z3Prover

6 months ago

35 points

417.

Show HN: An encoding/decoding tool for Martin David's theoretical S language

ramadis.github.com

10 years ago

24 points

418.

Information Theoretic Learning Auto-Encoders

github.com/cnel

10 years ago

24 points

419.

React – Basic Theoretical Concepts

github.com/reactjs

10 years ago

19 points

420.

PyTorch simulator refutes an 18-year-old quantum theorem

github.com/lizbeth307

a month ago

16 points