#

terence-tao

Here are 5 public repositories matching this topic...

frederic-santos / taoanalysissolutions

Propositions of solutions to the exercises from Terence Tao's textbooks, Analysis I & II. Mirrored from https://gitlab.com/f-santos/taoanalysissolutions

analysis homework mathematics self-study terence-tao

Updated Jan 17, 2023
TeX

riceissa / tao-analysis-flashcards

Orbit spaced repetition flashcards for Terence Tao's Analysis I

math mathematics real-analysis terence-tao

Updated Jul 24, 2022
HTML

Friendseeker / Analysis-I

Solution to Terence Tao's Analysis I

real-analysis terence-tao

Updated Sep 5, 2022

git6789 / zh-cn_Translation_TerenceTao_CareerAdvice

translations mathematics career advices terence-tao

Updated Jan 4, 2019

ewdlop / Proof-Assistance-Note

https://en.wikipedia.org/wiki/Proof_assistant; 一錯特錯錯到底! 爆炸原理是重哪來的?

typescript coq lean qed smt-solver hott humanoid fstar syllogism computer-assisted-proof self-referential terence-tao 4-color-theorem type-theoretic-mathematics water-proof

Updated Feb 23, 2025
Coq

Improve this page

Add a description, image, and links to the terence-tao topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the terence-tao topic, visit your repo's landing page and select "manage topics."