Search: github.com/leanprover | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

1.

Lean 4.0 (github.com/leanprover)

130 points

3 years ago

2.

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

83 points

6 months ago

3.

Lean 4, Release v4.17.0 (github.com/leanprover)

5 points

a year ago

4.

Check my proof of P=NP for errors [pdf] (github.com/leanprover)

3 points

5 years ago

5.

Buffer Overflow in Lean_io_prim_handle_read (github.com/leanprover)

2 points

2 months ago

6.

Lean Theorem Prover (github.com/leanprover)

2 points

7 years ago

7.

Lean Theorem Prover (github.com/leanprover)

1 point

12 years ago