Search: github.com/math-comp | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

1.

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

3 points

7 years ago

2.

Show HN: The simplest possible math-compiler – (github.com/skx)

2 points

7 years ago

3.

Show HN: Golang RPN-calculator to assembly compiler (github.com/skx)

1 point

7 years ago

4.

Show HN: Maths, CS and AI Compendium (github.com/HenryNdubuaku)

88 points

4 months ago

5.

Complex Numbers Implementation in JavaScript with Examples and Explanations (github.com/trekhleb)

2 points

8 years ago