Search: github.com/ImperialCollegeLondon | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

1.

Ongoing Lean formalization of the proof for Fermat's Last Theorem (github.com/ImperialCollegeLondon)

127 points

10 months ago

2.

Propositional logic exercises with the lean theorem prover (github.com/ImperialCollegeLondon)

54 points

5 years ago

3.

Imperial College: Code for modelling estimated deaths and cases for COVID19 (github.com/ImperialCollegeLondon)

3 points

6 years ago

4.

Code that changed UK gov strategy away from herd immunity (github.com/ImperialCollegeLondon)

3 points

6 years ago

5.

Imperial College – Covid19model (github.com/ImperialCollegeLondon)

3 points

6 years ago

6.

Covid19model (github.com/ImperialCollegeLondon)

2 points

6 years ago

7.

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

2 points

9 months ago

8.

Imperial College code for modelling estimated deaths and cases for COVID19 (github.com/ImperialCollegeLondon)

2 points

6 years ago

9.

Where can we access the C code used to create the original report? (github.com/ImperialCollegeLondon)

1 point

6 years ago