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=20240630T113648Z&X-Amz-Algorithm=AWS4-HMAC-SHA256&X-Amz-Credential=AKIAWJBOALPNFPV7PVH5/20240630/us-east-1/s3/aws4_request&X-Amz-SignedHeaders=host&X-Amz-Signature=010fb539328defec477d5fb28634ed6ad195a0f1a08ec4253b2587ea2257faae)
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
![HoTT Reading Notes](https://writelatex.s3.amazonaws.com/published_ver/3174.jpeg?X-Amz-Expires=14400&X-Amz-Date=20240630T113648Z&X-Amz-Algorithm=AWS4-HMAC-SHA256&X-Amz-Credential=AKIAWJBOALPNFPV7PVH5/20240630/us-east-1/s3/aws4_request&X-Amz-SignedHeaders=host&X-Amz-Signature=544ac25542469509953cec086df4a683d30aaa58753788084d01391cc1ff248d)
HoTT Reading Notes
This is an informal set of comments on the HoTT Book.
Pierre-Yves Gaillard
![Games](https://writelatex.s3.amazonaws.com/published_ver/10282.jpeg?X-Amz-Expires=14400&X-Amz-Date=20240630T113648Z&X-Amz-Algorithm=AWS4-HMAC-SHA256&X-Amz-Credential=AKIAWJBOALPNFPV7PVH5/20240630/us-east-1/s3/aws4_request&X-Amz-SignedHeaders=host&X-Amz-Signature=12b9a74a1ca860b7254a2fb0701e54f2c9575940d86a62440625f25cb06c07e9)
Games
This blog its for university project , I am working in developing this games for year 3
Diego Mantuano
![ERCESI Academic Research Report](https://writelatex.s3.amazonaws.com/published_ver/3546.jpeg?X-Amz-Expires=14400&X-Amz-Date=20240630T113648Z&X-Amz-Algorithm=AWS4-HMAC-SHA256&X-Amz-Credential=AKIAWJBOALPNFPV7PVH5/20240630/us-east-1/s3/aws4_request&X-Amz-SignedHeaders=host&X-Amz-Signature=980207dbebdb80f01bc02174edcf10770e072034077aa098737ad27d4664ac1b)
ERCESI Academic Research Report
ERCESI Weekly Report template.
ERCESI