Articles — Research Diary
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=20240727T004731Z&X-Amz-Algorithm=AWS4-HMAC-SHA256&X-Amz-Credential=AKIAWJBOALPNFPV7PVH5/20240727/us-east-1/s3/aws4_request&X-Amz-SignedHeaders=host&X-Amz-Signature=8cd2dfa464beb2bcad60ac899512b1eea40f4eba9ceac5ece25c2af014d32159)
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=20240727T004731Z&X-Amz-Algorithm=AWS4-HMAC-SHA256&X-Amz-Credential=AKIAWJBOALPNFPV7PVH5/20240727/us-east-1/s3/aws4_request&X-Amz-SignedHeaders=host&X-Amz-Signature=c609024ae8d218190c21d6f7cf6967a1da6d990592a9ad2cac7f6c1262dc5855)
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=20240727T004731Z&X-Amz-Algorithm=AWS4-HMAC-SHA256&X-Amz-Credential=AKIAWJBOALPNFPV7PVH5/20240727/us-east-1/s3/aws4_request&X-Amz-SignedHeaders=host&X-Amz-Signature=ee52480e80530be1eabdd4f1e6bf6164c5c442b9d891251afaa3c51777b0235c)
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=20240727T004731Z&X-Amz-Algorithm=AWS4-HMAC-SHA256&X-Amz-Credential=AKIAWJBOALPNFPV7PVH5/20240727/us-east-1/s3/aws4_request&X-Amz-SignedHeaders=host&X-Amz-Signature=53d185d35ff2b5190a5204239a265e3267e57ec2608d0d6757fcc38989c00752)
ERCESI Academic Research Report
ERCESI Weekly Report template.
ERCESI