Skip to content
View zhengyqMP's full-sized avatar
0 followers · 17 following

Block or report zhengyqMP

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Stars

6 results for source starred repositories written in TeX
Clear filter

HoTT / book

A textbook on informal homotopy type theory

TeX 2,041 360 Updated Jun 17, 2024

stacks / stacks-project

Repository for the Stacks Project

TeX 871 154 Updated Sep 18, 2024

HoTT / EPIT-2020

EPIT 2020 - Spring School on Homotopy Type Theory

TeX 103 11 Updated Jul 29, 2021

tromp / golegal

count number of legal positions in the game of go

TeX 100 11 Updated Apr 2, 2024

AareyanManzoor / Matsumura-Commutative-Algebra

This it the TeX of Matsumura Commutative Algebra, TeX'd by the TeXromancers

TeX 21 6 Updated Mar 1, 2024

thosgood / translations

some maths papers in English

TeX 18 3 Updated Nov 15, 2024