Submissions from github.com/imperialcollegelondon

		Ongoing Lean formalization of the proof for Fermat's Last Theorem (github.com/imperialcollegelondon)
		127 points by anonyonoor 20 days ago \| past \| 79 comments
		Propositional logic exercises with the lean theorem prover (github.com/imperialcollegelondon)
		54 points by mathematically on Oct 21, 2021 \| past \| 8 comments
		Code that changed UK gov strategy away from herd immunity (github.com/imperialcollegelondon)
		3 points by loftyal on April 20, 2020 \| past
		Where can we access the C code used to create the original report? (github.com/imperialcollegelondon)
		1 point by jjgreen on April 18, 2020 \| past
		Imperial College – Covid19model (github.com/imperialcollegelondon)
		3 points by tanh on April 18, 2020 \| past
		Covid19model (github.com/imperialcollegelondon)
		2 points by derkoe on April 16, 2020 \| past \| 1 comment
		Imperial College code for modelling estimated deaths and cases for COVID19 (github.com/imperialcollegelondon)
		2 points by Erikun on April 13, 2020 \| past
		Imperial College: Code for modelling estimated deaths and cases for COVID19 (github.com/imperialcollegelondon)
		3 points by expectocode on April 4, 2020 \| past \| 1 comment