Search: github.com/ImperialCollegeLondon | Heykuki News

HK

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

a year ago

127 points

2.

Propositional logic exercises with the lean theorem prover

github.com/ImperialCollegeLondon

5 years ago

54 points

3.

Imperial College: Code for modelling estimated deaths and cases for COVID19

github.com/ImperialCollegeLondon

6 years ago

3 points

4.

Code that changed UK gov strategy away from herd immunity

github.com/ImperialCollegeLondon

6 years ago

3 points

5.

Imperial College – Covid19model

github.com/ImperialCollegeLondon

6 years ago

3 points

6.

github.com/ImperialCollegeLondon

6 years ago

2 points

7.

A Lean Formalisation of Fermat's Last Theorem

github.com/ImperialCollegeLondon

10 months ago

2 points

8.

Imperial College code for modelling estimated deaths and cases for COVID19

github.com/ImperialCollegeLondon

6 years ago

2 points

9.

Where can we access the C code used to create the original report?

github.com/ImperialCollegeLondon

6 years ago

1 points