Pure Math - Fundamental Mathematics
Resources on fundamental mathematics, type theory and application in programming.
О канале
Resources on fundamental mathematics, type theory and application in programming.
Description
Pure & Channelconstructive mathematicsGathers resources in fundamental mathematics and type theory.🔢Focus on their application in programming and computer science.
Learn pure mathematics, constructive evidence, and connections to programming languages. Useful articles, books, and code examples for developers and mathematicians.💻The materials cover typical theory, logic and formal methods. Suitable for deep immersion in theoretical foundationsIT.
FAQ
Subscriber dynamics
Reviews for channel Pure Math - Fundamental Mathematics
Log in to leave a review
Only registered users can share their opinion.
No reviews yet
Be the first to share your impression of this resource!