Search: github.com/leanprover | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

1.

github.com/leanprover

3 years ago

130 points

2.

Lean theorem prover mathlib

github.com/leanprover-community

6 months ago

83 points

3.

Lean 4, Release v4.17.0

github.com/leanprover

a year ago

5 points

4.

Check my proof of P=NP for errors [pdf]

github.com/leanprover

5 years ago

3 points

5.

Buffer Overflow in Lean_io_prim_handle_read

github.com/leanprover

2 months ago

2 points

6.

Lean Theorem Prover

github.com/leanprover

7 years ago

2 points

7.

Lean Theorem Prover

github.com/leanprover

12 years ago

1 points