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=20240726T233425Z&X-Amz-Algorithm=AWS4-HMAC-SHA256&X-Amz-Credential=AKIAWJBOALPNFPV7PVH5/20240726/us-east-1/s3/aws4_request&X-Amz-SignedHeaders=host&X-Amz-Signature=0ec6e8e8ede702e14de181ba05825d9bfd70ece315ea2949fdf5eaf51a70a710)
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=20240726T233425Z&X-Amz-Algorithm=AWS4-HMAC-SHA256&X-Amz-Credential=AKIAWJBOALPNFPV7PVH5/20240726/us-east-1/s3/aws4_request&X-Amz-SignedHeaders=host&X-Amz-Signature=0a1febe54f06cc3c57c1a898d58c641acbd38030c113673f1cba2a9f2902c22b)
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=20240726T233425Z&X-Amz-Algorithm=AWS4-HMAC-SHA256&X-Amz-Credential=AKIAWJBOALPNFPV7PVH5/20240726/us-east-1/s3/aws4_request&X-Amz-SignedHeaders=host&X-Amz-Signature=6dbe4e7ddbbb1d01a13075bfb89d29f9fc342eefd0b8e6e6dd0656fa4e07c3fb)
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=20240726T233425Z&X-Amz-Algorithm=AWS4-HMAC-SHA256&X-Amz-Credential=AKIAWJBOALPNFPV7PVH5/20240726/us-east-1/s3/aws4_request&X-Amz-SignedHeaders=host&X-Amz-Signature=3360f31ed8ab63323fa36b47a204d87684522edec8b9d612b1b937a93bd60073)
ERCESI Academic Research Report
ERCESI Weekly Report template.
ERCESI