So how long?
Full video on my YouTube Channel snsus ๐ฌ๐ฟ#math #science #stem #education #maths #mathematics #fyp #shorts #limit #physics #philosophy #nature #convergence #divergence #explosion
maths
Mathstodon.xyz is a Mastodon server for people who love mathematics. We have LaTeX rendering in the web interface!
This server has a post size of up to 1729 characters, and has been online since 2017.
You can find out more at https://mathstodon.xyz/about or contact the admin @christianp
#FeaturedServer #Mathematics #Maths #Math #Mastodon #Fediverse #FreeFediverse
Mathstodon.xyz is a Mastodon server for people who love maths, and includes LaTeX rendering in the web interface. Maths chat is especially welcome, but any topic of conversation following the code of conduct is OK.
This server has a post size of up to 1729 characters.
You can find out more at https://mathstodon.xyz/about or contact the admin account @christianp
#FeaturedServer #Mathematics #Maths #Math #Mastodon #Fediverse #FreeFediverse
๐ ๐ฎ๐๐ต๐ ๐ฃ๐ฟ๐ผ๐ผ๐ณ๐ ๐ถ๐ป ๐๐ฒ๐ฎ๐ป - ๐๐ถ๐ฟ๐๐ ๐ฆ๐๐ฒ๐ฝ๐
You don't need to be a PhD to write simple maths proofs in Lean.
This course takes you from a complete beginner, and gives you enough confidence to read and write simple proofs. Each chapter has one exercise, designed to build confidence, not destroy it!
youtube: https://www.youtube.com/@LeanFirstSteps/videos
free content: https://leanfirststeps.blogspot.com/p/contents.html
Edited 148d ago