Teaching Formal Methods, Interactive Learning, Mathematical Education, Verification Training, Beginner Proofs
A very short, very blunt, book note
logicmatters.net·4h
Making Kindergarten Math Fun: The Power of Hands-On Learning with Compare That!
guidedmath.wordpress.com·3h
The Analyst’s Gambit: A Second Course in Functional Analysis
noncommutativeanalysis.wordpress.com·3d
News for September 2025
ptreview.sublinear.info·2d
Cactus Language • Semantics 1
inquiryintoinquiry.com·5h
These Are the Best Flashcard Apps for Studying
lifehacker.com·9h
Using Information Entropy To Make Choices / Choose Experiments
blog.demofox.org·17h
Fitting It All in Your Head
systemsapproach.org·14h
Loading...Loading more...