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

HK

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

7 years ago

3 points

2.

Show HN: The simplest possible math-compiler –

7 years ago

2 points

3.

Show HN: Golang RPN-calculator to assembly compiler

7 years ago

1 points

4.

Show HN: Maths, CS and AI Compendium

github.com/HenryNdubuaku

4 months ago

88 points

5.

Complex Numbers Implementation in JavaScript with Examples and Explanations

github.com/trekhleb

8 years ago

2 points