Search: github.com/theory | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

421.

LLMs as Copilots for Theorem Proving in Lean (github.com/lean-dojo)

3 points

2 years ago

422.

ACL2 Sidekick: a graphical aid for the ACL2 theorem prover (github.com/jaredcdavis)

3 points

12 years ago

423.

Z3 Theorem Prover (github.com/Z3Prover)

3 points

a year ago

424.

Show HN: Theoretical Tflops ≠ Real-World Performance – Testing GPU Flops (github.com/mag-)

3 points

2 years ago

425.

Show HN: An Automated Theorem Proving library inspired by a book by Harrison (github.com/aetilley)

3 points

3 years ago

426.

Formal Proof of the Four Color Theorem in Coq (github.com/math-comp)

3 points

7 years ago

427.

Microsoft: The Z3 Theorem Prover (github.com/Z3Prover)

3 points

9 years ago

428.

Show HN: Chasm – Fault-Tolerant, Information-Theoretic Secure Cloud Backup (github.com/agrinman)

3 points

10 years ago

429.

Show HN: OxiLean – Pure Rust Interactive Theorem Prover (Zero C Deps, WASM)

2 points

3 months ago

430.

Show HN: OpenSciEval-AI Deriving Prime Theorem from Chaos (github.com/maris205)

2 points

6 months ago

431.

The Theoretical Limit of Copyright Compromise (gist.github.com)

2 points

13 years ago

432.

OpenMythos: an open-source, theoretical implementation of Claude Mythos (github.com/kyegomez)

2 points

a month ago

433.

Refactoring Is Not Heroism – An Information-Theoretic Proof (github.com/HeinrichvH)

2 points

2 months ago

434.

AutoRocq: Agentic Theorem Prover for Verification (github.com/NUS-Program-Verification)

2 points

2 months ago

435.

A Lean Formalisation of Fermat's Last Theorem (github.com/ImperialCollegeLondon)

2 points

9 months ago

436.

Z3 Theorem Prover (github.com/Z3Prover)

2 points

2 years ago

437.

Chyp: An interactive theorem prover for string diagrams (github.com/akissinger)

2 points

3 years ago

438.

The Fundamental Theorem of Fourier Series (github.com/MathInspector)

2 points

5 years ago

439.

Show HN: Plausibly deniable information-theoretically secure encryption in Ruby (github.com/octetsplicer)

2 points

6 years ago

440.

Lean Theorem Prover (github.com/leanprover)

2 points

7 years ago

441.

Versioning is Hard (aka the “SEF theorem”) (github.com/inlined)

2 points

8 years ago

442.

Codelab: Versioning is Hard (aka the “SEF theorem”) (github.com/inlined)

2 points

8 years ago

443.

Book in preparation: introduction to theoretical computer science (github.com/boazbk)

2 points

8 years ago

444.

A Game Theoretic Bandit Driven Approach to Pattern Recognition with Logic (github.com/cair)

2 points

8 years ago

445.

Automated proofs about floating-point numbers using Z3 Theorem Prover in Python (github.com/xennygrimmato)

2 points

8 years ago

446.

Erdos is a very light and modular Graph theoretic algorithms framework for Java (github.com/Erdos-Graph-Framework)

2 points

9 years ago

447.

Nqthm – the original Boyer-Moore theorem prover, from 1992 (github.com/John-Nagle)

2 points

10 years ago

448.

Computer assisted theoretical philosophy (github.com/FormalTheology)

2 points

10 years ago

449.

Show HN: Encoding/Decoding tool for Martin David's theoretical S language (github.com/ramadis)

2 points

10 years ago

450.

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

2 points

10 years ago