Topic: "terence-tao"
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
Language: TeX - Size: 27.9 MB - Last synced at: almost 2 years ago - Pushed at: over 2 years ago - Stars: 6 - Forks: 0
Friendseeker/Analysis-I
Solution to Terence Tao's Analysis I
Size: 886 KB - Last synced at: 2 months ago - Pushed at: over 2 years ago - Stars: 3 - Forks: 0
riceissa/tao-analysis-flashcards
Orbit spaced repetition flashcards for Terence Tao's Analysis I
Language: HTML - Size: 70.3 KB - Last synced at: about 2 years ago - Pushed at: almost 3 years ago - Stars: 3 - Forks: 1
ewdlop/Proof-Assistance-Note
https://en.wikipedia.org/wiki/Proof_assistant; 一錯特錯錯到底! 爆炸原理是重哪來的?
Language: Coq - Size: 227 KB - Last synced at: 19 days ago - Pushed at: 3 months ago - Stars: 0 - Forks: 0
