Articles tagged Research Diary
Recent
![My Final Proof Journal](https://writelatex.s3.amazonaws.com/published_ver/3785.jpeg?X-Amz-Expires=14400&X-Amz-Date=20240717T214901Z&X-Amz-Algorithm=AWS4-HMAC-SHA256&X-Amz-Credential=AKIAWJBOALPNFPV7PVH5/20240717/us-east-1/s3/aws4_request&X-Amz-SignedHeaders=host&X-Amz-Signature=f9a98e676175fed5f3281b1ae1d1a43993b4e252c6bc30c20760ec662a5e5caf)
My Final Proof Journal
--------------------------------------------------------------
This is all preamble stuff that you don't have to worry about.
Head down to where it says "Start here"
--------------------------------------------------------------
Chesyti Brown
![Games](https://writelatex.s3.amazonaws.com/published_ver/10282.jpeg?X-Amz-Expires=14400&X-Amz-Date=20240717T214901Z&X-Amz-Algorithm=AWS4-HMAC-SHA256&X-Amz-Credential=AKIAWJBOALPNFPV7PVH5/20240717/us-east-1/s3/aws4_request&X-Amz-SignedHeaders=host&X-Amz-Signature=efeab6eb5c28e2765ca5b6dde3071cc319f03bca1abc48e1390ba53042d9d0aa)
Games
This blog its for university project , I am working in developing this games for year 3
Diego Mantuano
![HoTT Reading Notes](https://writelatex.s3.amazonaws.com/published_ver/3174.jpeg?X-Amz-Expires=14400&X-Amz-Date=20240717T214901Z&X-Amz-Algorithm=AWS4-HMAC-SHA256&X-Amz-Credential=AKIAWJBOALPNFPV7PVH5/20240717/us-east-1/s3/aws4_request&X-Amz-SignedHeaders=host&X-Amz-Signature=6e90cf6f5306651f3928387082b8079b66b93dd6cdd5c6b265611a34ee541529)
HoTT Reading Notes
This is an informal set of comments on the HoTT Book.
Pierre-Yves Gaillard
![ERCESI Academic Research Report](https://writelatex.s3.amazonaws.com/published_ver/3546.jpeg?X-Amz-Expires=14400&X-Amz-Date=20240717T214901Z&X-Amz-Algorithm=AWS4-HMAC-SHA256&X-Amz-Credential=AKIAWJBOALPNFPV7PVH5/20240717/us-east-1/s3/aws4_request&X-Amz-SignedHeaders=host&X-Amz-Signature=5448e1c091aa6197fbe8a2001bbe9945369d37c0f5ad30b2e4bc6fe57692fb70)
ERCESI Academic Research Report
ERCESI Weekly Report template.
ERCESI